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: Ahmadi:Reza
Contributed to:
2018
2018
2019
2019Wrote 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.