Not registered as user yet
Name:Karim Jahed
Affiliation:Queen's University
Contributions
| ASE 2019 | PMExec: An Execution Engine of Partial UML-RT Models mCUTE: A Model-level Concolic Unit Testing Engine for UML State Machines | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ASE 2019-profile
View general profile
View general profile