1 × Austria
1 × Canada
M.P.E.Heimdahl S.Rayadurgam W.Visser J.Gao
test (5) model (2) sequenc (1) qualiti (1) generat (1) checker (1) reduct (1) implic (1) effect (1) studi (1)
Person: George Devaraj
Wrote 2 papers:
- ASE-2004-HeimdahlG #modelling #quality #reduction #testing
- Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing (MPEH, GD), pp. 176–185.
- FATES-2003-HeimdahlRVDG #case study #model checking #sequence #testing #using
- Auto-generating Test Sequences Using Model Checkers: A Case Study (MPEH, SR, WV, GD, JG), pp. 42–59.