| Practical model-based testing: a tools approach M Utting, B Legeard Morgan Kaufmann, 2006 | 1944* | 2006 |
| A taxonomy of model‐based testing approaches M Utting, A Pretschner, B Legeard Software testing, verification and reliability 22 (5), 297-312, 2012 | 1176 | 2012 |
| Automated boundary testing from Z and B B Legeard, F Peureux, M Utting FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002 | 192 | 2002 |
| 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 | 152 | 2007 |
| 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 | 118 | 2002 |
| CZT: A framework for Z tools P Malik, M Utting International Conference of B and Z Users, 65-84, 2005 | 105 | 2005 |
| 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 | 100 | 2004 |
| 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 | 97 | 2007 |
| A sequential real-time refinement calculus IJ Hayes, M Utting Acta Informatica 37, 385-448, 2001 | 78 | 2001 |
| 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 | 75 | 2000 |
| An object-oriented refinement calculus with modular reasoning M Utting University of New South Wales, 1992 | 64 | 1992 |
| A tactic driven refinement tool L Groves, R Nickson, M Utting 5th Refinement Workshop: Proceedings of the 5th Refinement Workshop …, 1992 | 61 | 1992 |
| Recent advances in model-based testing M Utting, B Legeard, F Bouquet, E Fourneret, F Peureux, A Vernotte Advances in computers 101, 53-120, 2016 | 59 | 2016 |
| Coercing real-time refinement: A transmitter I Hayes, M Utting Proceedings of the BCS-FACS Northern Formal Methods Workshop, 1996 | 58 | 1996 |
| Position paper: Model-based testing M Utting Verified Software: Theories, Tools, Experiments. ETH Zürich, IFIP WG 2, 2005 | 57 | 2005 |
| 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 | 55 | 2004 |
| Integrating real-time scheduling theory and program refinement C Fidge, M Utting, P Kearney, I Hayes FME'96: Industrial Benefit and Advances in Formal Methods: Third …, 1996 | 55 | 1996 |
| A real-time refinement calculus that changes only time M Utting, C Fidge Proceedings of the BCS-FACS 7th Refinement Workshop, 1996 | 54 | 1996 |
| 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 | 50 | 2005 |
| Ergo user manual M Utting, K Whitwell Technical Report 93-19, Software Verification Research Centre, Department of …, 1994 | 46 | 1994 |
Bruno LegeardUniversité Bourgogne Franche-Comté - FEMTO-ST Institute / SmartestingVerified email at femto-st.fr
