Related references
Note: Only part of the references are listed.A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ
Shahar Maoz et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2011)
Mining temporal specifications from object usage
Andrzej Wasylkowski et al.
AUTOMATED SOFTWARE ENGINEERING (2011)
On tracing reactive systems
Shahar Maoz et al.
SOFTWARE AND SYSTEMS MODELING (2011)
Towards Succinctness in Mining Scenario-Based Specifications
David Lo et al.
2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS) (2011)
Assert and negate revisited: Modal semantics for UML sequence diagrams
David Harel et al.
SOFTWARE AND SYSTEMS MODELING (2008)
The Daikon system for dynamic detection of likely invariants
Michael D. Ernst et al.
SCIENCE OF COMPUTER PROGRAMMING (2007)
Dynamically discovering likely program invariants to support program evolution
MD Ernst et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2001)
From play-in scenarios to code: An achievable dream
D Harel
COMPUTER (2001)