Synthesis of Partial Behavior Models from Properties and Scenarios

  title={Synthesis of Partial Behavior Models from Properties and Scenarios},
  author={Sebasti{\'a}n Uchitel and Greg Brunet and Marsha Chechik},
  journal={IEEE Transactions on Software Engineering},
Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficiently expressive to describe both universal constraints provided by requirements and existential statements provided by scenarios. In this paper, we propose a novel synthesis technique that constructs behavior models in the form of modal… CONTINUE READING
Highly Cited
This paper has 137 citations. REVIEW CITATIONS
66 Citations
52 References
Similar Papers


Publications citing this paper.

138 Citations

Citations per Year
Semantic Scholar estimates that this publication has 138 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 52 references

Similar Papers

Loading similar papers…