Mark Utting
Titel
Zitiert von
Zitiert von
Jahr
Practical model-based testing: a tools approach
M Utting, B Legeard
Morgan Kaufmann, 2006
1551*2006
A taxonomy of model‐based testing approaches
M Utting, A Pretschner, B Legeard
Software testing, verification and reliability 22 (5), 297-312, 2012
8572012
Automated boundary testing from Z and B
B Legeard, F Peureux, M Utting
International Symposium of Formal Methods Europe, 21-40, 2002
1722002
A subset of precise UML for model-based testing
F Bouquet, C Grandpierre, B Legeard, F Peureux, N Vacelet, M Utting
Proceedings of the 3rd international workshop on Advances in model-based …, 2007
1222007
BZ-TT: A tool-set for test generation from Z and B using constraint logic programming
F Ambert, F Bouquet, S Chemin, S Guenaud, B Legeard, F Peureux, ...
Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2 …, 2002
1112002
CZT: A framework for Z tools
P Malik, M Utting
International Conference of B and Z Users, 65-84, 2005
1002005
Boundary coverage criteria for test generation from formal models
N Kosmatov, B Legeard, F Peureux, M Utting
15th International Symposium on Software Reliability Engineering, 139-150, 2004
892004
Jumble java byte code to measure the effectiveness of unit tests
SA Irvine, T Pavlinic, L Trigg, JG Cleary, S Inglis, M Utting
Testing: Academic and Industrial Conference Practice and Research Techniques …, 2007
832007
A survey of software development practices in the New Zealand software industry
L Groves, R Nickson, G Reeve, S Reeves, M Utting
Proceedings 2000 Australian Software Engineering Conference, 189-201, 2000
662000
An object-oriented refinement calculus with modular reasoning
M Utting
University of New South Wales, 1992
611992
A tactic driven refinement tool
L Groves, R Nickson, M Utting
5th Refinement Workshop, 272-297, 1992
591992
A real-time refinement calculus that changes only time
M Utting, C Fidge
Proceedings of the BCS-FACS 7th Refinement Workshop 7, 1-16, 1996
541996
Coercing real-time refinement: A transmitter
I Hayes, M Utting
Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1-10, 1996
531996
A sequential real-time refinement calculus
IJ Hayes, M Utting
Acta Informatica 37 (6), 385-448, 2001
512001
Integrating real-time scheduling theory and program refinement
C Fidge, M Utting, P Kearney, I Hayes
International Symposium of Formal Methods Europe, 327-346, 1996
511996
Controlling test case explosion in test generation from B formal models
B Legeard, F Peureux, M Utting
Software Testing, Verification and Reliability 14 (2), 81-103, 2004
492004
Ergo user manual
M Utting, K Whitwell
Technical Report 93-19, Software Verification Research Centre, Department of …, 1994
451994
A comparison of the BTT and TTF test-generation methods
B Legeard, F Peureux, M Utting
International Conference of B and Z Users, 309-329, 2002
432002
Symbolic animation of JML specifications
F Bouquet, F Dadeau, B Legeard, M Utting
International Symposium on Formal Methods, 75-90, 2005
422005
Requirements traceability in automated test generation: application to smart card software validation
F Bouquet, E Jaffuel, B Legeard, F Peureux, M Utting
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
402005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20