5.2 Proposed Symbolic Execution Optimizations for Evolving Rhapsody Statecharts
Symbolic execution is an expensive approach especially when applied to big and complex artifacts (programs or models) where the size of the generated SETs can be very large. Software artifacts can undergo several iterations and refinements and repeating the symbolic execution of these artifacts from scratch after every iteration or refinement step can be very tedious and time consuming. The new version of an artifact can be very similar to the previous one, so excluding the unchanged parts from successive runs of the symbolic execution technique reduces the time required for any symbolic execution-based types of analyses. Alternatively, directing the successive ...
