Dr Mark Utting

Accessibility links

Dr Mark Utting


Teaching areas

  • Information Technology
  • Software Engineering

Research areas

  • programming languages
  • correctness of programs (testing and verification)
  • model-based testing

Program coordinator


Dr Mark Utting joined USC in 2014, as Senior Lecturer in ICT and program coordinator of the BICT degree. Before that, he worked as Senior Research Fellow in software engineering at QUT for several years, developing computer simulations of future Queensland Electricity Networks, and as Associate Professor at the University of Waikato in New Zealand, teaching programming and software engineering. He has also worked in industry, developing next generation genomics software and manufacturing software.

Mark is passionate about designing and engineering good software that solves real-world problems, and he has extensive experience with managing software development projects and teams both in academia and industry. He is author of the book ‘Practical Model-Based Testing: A Tools Approach’, as well as more than 50 publications on model-based testing, verification techniques for object-oriented and real-time software, and language design for parallel computing.

Professional memberships

  • ACM
  • IFIP WG2.3 on Programming Methodology


  • Research Publicity prize for ICT Applied to Industry, NZ BuildIT, 2009

Potential research projects for HDR and honours students

  • Tools for teaching programming more effectively (for example, in Python and Java)
  • Smart IDEs for programmers that automatically analyse code to find errors, suggest tests, improvements or refactorings
  • Test-driven development techniques and tools, including ways of turning tests into specifications and identifying errors and omissions in test suites
  • Multi-level programming languages which integrate requirements/specification constructs into programming languages to allow a higher degree of static and dynamic checking between requirements and code. For example, projects related to the Whiley programming language (whiley.org)
  • Big data techniques and applications using MapReduce and other novel programming paradigms
  • Using new technology to support elderly and isolated people

Research grants

Project name Investigators Funding body Year Focus
SPPI:  Software Process and Product Improvement Auckland, Waikato, Massey and Victoria universities Subcontract for Auckland University SPPI project, FRST ($210K) 2009–2012 Model-driven engineering and testing

Utting Model-Based Testing

Dr Mark Utting

Google ($60K)


Further development of model-based testing and verification tools

Z Support Tools Professor Steve Reeves and Dr Mark Utting NZ, FRST ($700K) 2002–2009 Development of the CZT tools for the Z specification language and the ModelJUnit test generation tool
B/Z Testing Tools Dr Mark Utting and Professor Bruno Legeard NZ, BRAP and French Embassy ($40K) 2000–2005 Collaborative research with LIFC France on model-based testing
ISuRF:  Improving Software Using Requrements Formalization Professor Steve Reeves, Dr Lindsay Groves, Dr Mark Utting and Dr Ray Nickson NZ and NERF ($250K) 1998–2002 Formal requirements specification and tools for the NZ software industry
Starlog Professor John G. Cleary, Dr Bernhard Pfahringer and Dr Mark Utting NZ Marsden Fund ($300K) 1997–2003 Development of the Starlog logic programming language



Back to top

Searching {{model.SearchType}} for "{{model.Query}}" returned more than {{model.MaxResults}} results.
The top {{model.MaxResults}} of {{model.TotalItems}} are shown below, ordered by relevance ({{model.TotalSeconds}} seconds)

Searching {{model.SearchType}} for "{{model.Query}}" returned {{model.TotalItems}} results, ordered by relevance ({{model.TotalSeconds}} seconds)

Searching {{model.SearchType}} for "{{model.Query}}" returned no results.

No search results found for