BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
Collaborated with:
J.Dingel N.Hili E.Posse K.Jahed
Talks about:
model (4) test (3) uml (3) system (2) concol (2) state (2) unit (2) base (2) properti (1) context (1)

Person: Reza Ahmadi

DBLP DBLP: Ahmadi:Reza

Contributed to:

ECMFA 20182018
MoDELS 20182018
ASE 20192019
ESEC/FSE 20192019

Wrote 4 papers:

ECMFA-2018-AhmadiHD #modelling #testing #uml
Property-Aware Unit Testing of UML-RT Models in the Context of MDE (RA, NH, JD), pp. 147–163.
MoDELS-2018-AhmadiPD #embedded #modelling #realtime #slicing #uml
Slicing UML-based Models of Real-time Embedded Systems (RA, EP, JD), pp. 346–356.
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.
ESEC-FSE-2019-AhmadiD #modelling #testing
Concolic testing for models of state-based systems (RA, JD), pp. 4–15.

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.