BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
J.Dingel R.Ahmadi M.Bagherzadeh N.Kahani
Talks about:
model (2) engin (2) uml (2) partial (1) machin (1) execut (1) concol (1) state (1) mcute (1) level (1)

Person: Karim Jahed

DBLP DBLP: Jahed:Karim

Contributed to:

ASE 20192019

Wrote 2 papers:

ASE-2019-AhmadiJD #named #state machine #testing #uml
mCUTE: A Model-Level Concolic Unit Testing Engine for UML State Machines (RA, KJ, JD), pp. 1182–1185.
ASE-2019-BagherzadehJKD #execution #modelling #named #uml
PMExec: An Execution Engine of Partial UML-RT Models (MB, KJ, NK, JD), pp. 1178–1181.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.