Collaborated with:C.Menghi S.Nejati L.C.Briand S.Foster D.Wolfe
Talks about:model (4) simulink (2) test (2) uncertain (1) behavior (1) generat (1) continu (1) violat (1) requir (1) oracl (1)
Person: Khouloud Gaaloul
DBLP: Gaaloul:Khouloud
Contributed to:
2019Wrote 2 papers:
- ESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #modelling #nondeterminism #online #testing
- Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
- ESEC-FSE-2019-NejatiGMBFW #model checking #modelling #requirements #testing
- Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.