Sciweavers

MODELS
2015
Springer

Optimizing the Symbolic Execution of Communicating and Evolving State Machines

7 years 11 months ago
Optimizing the Symbolic Execution of Communicating and Evolving State Machines
Abstract—This paper describes research investigating two complementary optimization techniques that leverage the similarities between state machines versions to reduce the cost of symbolic execution of the evolved version. I. RESEARCH PROBLEM AND MOTIVATION Model Driven Engineering (MDE) is a model-centric software engineering approach that aims at improving the productivity and the quality of software artifacts by focusing on models as first-class artifacts in place of code. MDE has been widely used for over a decade in many domains such as automotive and telecommunication industries. Iterativeincremental development and model-based analysis are central to MDE in which artifacts typically undergo several iterations and refinements during their lifetime that may require changes to their initial design versions. As these models evolve, it is necessary to assess their quality by repeating the analysis and the verification of these models after every iteration or refinement. This pr...
Amal Khalil
Added 15 Apr 2016
Updated 15 Apr 2016
Type Journal
Year 2015
Where MODELS
Authors Amal Khalil
Comments (0)