Mark Utting

Mark Utting

University of Queensland - St Lucia / Australia
Social Sciences / Demography
AD Scientific Index ID: 126829
The University of Queensland
person_outline Mark Utting's MOST POPULAR ARTICLES
1-) Practical model-based testing: a tools approachM Utting, B LegeardMorgan Kaufmann, 20061815*2006
2-) A taxonomy of model‐based testing approachesM Utting, A Pretschner, B LegeardSoftware testing, verification and reliability 22 (5), 297-312, 201210762012
3-) Automated boundary testing from Z and BB Legeard, F Peureux, M UttingInternational Symposium of Formal Methods Europe, 21-40, 20021892002
4-) A subset of precise UML for model-based testingF Bouquet, C Grandpierre, B Legeard, F Peureux, N Vacelet, M UttingProceedings of the 3rd international workshop on Advances in model-based …, 20071522007
5-) BZ-TT: A tool-set for test generation from Z and B using constraint logic programmingF Ambert, F Bouquet, S Chemin, S Guenaud, B Legeard, F Peureux, ...Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2 …, 20021182002