Amal Khalil, Juergen Dingel. Incremental symbolic execution of evolving state machines. In Timothy Lethbridge, Jordi Cabot, Alexander Egyed, editors, 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015. pages 14-23, IEEE, 2015. [doi]
Abstract is missing.