Change-driven Incremental Symbolic Execution of Evolving State Machines. - Amal Khalil (SRC@MoDELS, 2015)

Optimizing the Symbolic Execution of Communicating and Evolving State Machines. - Amal Khalil (MoDELS (Doctoral Symposium), 2015)

Incremental symbolic execution of evolving state machines. - Amal Khalil; Juergen Dingel (MoDELS, 2015)

Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. - Amal Khalil (2016)

Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. - Amal Khalil; Juergen Dingel (Adv. Comput., 2018)