Incremental symbolic execution of evolving state machines

Loading...
Thumbnail Image
Date
2015-11-30
Authors
Dingel, Juergen
Khalil, Amal
Keyword
Optimization , Cost accounting , Analytical models , Electronic mail , Software , Testing , Engines
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.