Incremental symbolic execution of evolving state machines
Loading...
Authors
Dingel, Juergen
Khalil, Amal
Date
2015-11-30
Type
journal article
Language
en
Keyword
Optimization , Cost accounting , Analytical models , Electronic mail , Software , Testing , Engines
Alternative Title
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.
Description
© 2015 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Citation
A. Khalil and J. Dingel, "Incremental symbolic execution of evolving state machines," 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), Ottawa, ON, Canada, 2015, pp. 14-23, doi: 10.1109/MODELS.2015.7338231.
Publisher
Institute of Electrical and Electronics Engineers