Detecting Implied Scenarios Analyzing Non-local Branching Choices

@inproceedings{Muccini2003DetectingIS,
  title={Detecting Implied Scenarios Analyzing Non-local Branching Choices},
  author={Henry Muccini},
  booktitle={FASE},
  year={2003}
}
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths, they are usually integrated with state machines. State machines may be extracted from scenarios using a synthesis process. We could expect that the synthesized state machine model is “equivalent” to the original scenario specification. Instead, it has been proven that it does not always hold, and state machines may… CONTINUE READING
Highly Cited
This paper has 45 citations. REVIEW CITATIONS