Title :
Incremental symbolic execution of evolving state machines
Author :
Amal Khalil;Juergen Dingel
Author_Institution :
School of Computing, Queen´s University, Kingston, Ontario, Canada
Abstract :
This paper introduces two complementary techniques, memoization-based and dependency-based incremental symbolic execution, that aim to optimize the analysis of state machine models that undergo change. We implement the two proposed techniques on IBM Rhapsody Statecharts and present some evaluation results.
Keywords :
"Optimization","Cost accounting","Analytical models","Electronic mail","Software","Testing","Engines"
Conference_Titel :
Model Driven Engineering Languages and Systems (MODELS), 2015 ACM/IEEE 18th International Conference on
DOI :
10.1109/MODELS.2015.7338231
