PhD Defense Amal Khalil

Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts

Supervisor: Juergen Dingel
Int: Jim Cordy
Int. Ext. Jenny Zou
Ext. Ext. Dr. Marsha Chechik, U of T
Head's Rep: David Lamb