Inference of message sequence charts

By Rajeev Alur, Kousha Etessami, Mihalis Yannakakis. Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium, 2000

342 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/b7797eaedd724c8f4ad5e26f1ab01c391785759c

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Joanne M. Atlee
2. Betty H. C. Cheng

In Software

1. Joanne M. Atlee
2. Betty H. C. Cheng

Citations in the corpus

• Research Directions in Requirements Engineering (2007, methodology): “Scenario-based models [1, 3, 39, 47, 165, 168, 169, 182] have been the focus of much recent research – partly because scenarios are easiest for practitioners and nontechnical stakeholders to use, but perhaps also because scenarios are naturally incomplete and thus lend themselves to a plethora of re”