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