Modular Reasoning in an Object-Oriented Refinement Calculus. - Mark Utting; Ken Robinson (MPC, 1992)

A Tactic Driven Refinement Tool. - Lindsay Groves; Raymond G. Nickson; Mark Utting (Refine, 1992)

A Layered Real-Time Specification of a RISC Processor. - Peter Kearney; Mark Utting (FTRTFT, 1994)

Animating Z: Interactivity, Transparency and Equivalence. - Mark Utting (APSEC, 1995)

Interactively Verifying a Simple Real-time Scheduler. - Colin J. Fidge; Peter Kearney; Mark Utting (CAV, 1995)

Integrating Real-Time Scheduling Theory and Program Refinement. - Colin J. Fidge; Mark Utting; Peter Kearney; Ian J. Hayes (FME, 1996)

A Formal Method for Building Concurrent Real-Time Software. - Colin J. Fidge; Peter Kearney; Mark Utting (IEEE Softw., 1997)

Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. - Donald A. Smith; Mark Utting (Implementation Technology for Programming Languages based on Logic, 1998)

Deadlines are termination. - Ian J. Hayes; Mark Utting (PROCOMET, 1998)

Pseudo-Naive Evaluation. - Donald A. Smith; Mark Utting (Australasian Database Conference, 1999)

A Survey of Software Development Practices in the New Zealand Software Industry . - Lindsay Groves; Ray Nickson; Greg Reeve; Steve Reeves; Mark Utting (Australian Software Engineering Conference, 2000)

A sequential real-time refinement calculus. - Ian J. Hayes; Mark Utting (Acta Informatica, 2001)

Teaching formal methods lite via testing. - Mark Utting; Steve Reeves (Softw. Test. Verification Reliab., 2001)

Automated Boundary Testing from Z and B. - Bruno Legeard; Fabien Peureux; Mark Utting (FME, 2002)

Tabling Structures for Bottom-Up Logic Programming. - Roger Clayton; John G. Cleary; Bernhard Pfahringer; Mark Utting (LOPSTR, 2002)

A Comparison of the BTT and TTF Test-Generation Methods. - Bruno Legeard; Fabien Peureux; Mark Utting (ZB, 2002)

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology. - Mark Utting; Peter J. Robinson 001; Ray Nickson (LMS J. Comput. Math., 2002)

ZML: XML Support for Standard Z. - Mark Utting; Ian Toyn; Jing Sun 002; Andrew P. Martin; Jin Song Dong; Nicholas Daley; David W. Currie (ZB, 2003)

Object Orientation without Extending Z. - Mark Utting; Shaochun Wang (ZB, 2003)

Faster Analysis of Formal Specifications. - Fabrice Bouquet; Bruno Legeard; Mark Utting; Nicolas Vacelet (ICFEM, 2004)

Boundary Coverage Criteria for Test Generation from Formal Models. - Nikolai Kosmatov; Bruno Legeard; Fabien Peureux; Mark Utting (ISSRE, 2004)

Controlling test case explosion in test generation from B formal models. - Bruno Legeard; Fabien Peureux; Mark Utting (Softw. Test. Verification Reliab., 2004)

Symbolic Animation of JML Specifications. - Fabrice Bouquet; Frédéric Dadeau; Bruno Legeard; Mark Utting (FM, 2005)

CZT Support for Z Extensions. - Tim Miller 001; Leo Freitas; Petra Malik; Mark Utting (IFM, 2005)

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. - Fabrice Bouquet; Frédéric Dadeau; Bruno Legeard; Mark Utting (TACAS, 2005)

The Role of Model-Based Testing. - Mark Utting (VSTTE, 2005)

CZT: A Framework for Z Tools. - Petra Malik; Mark Utting (ZB, 2005)

Requirements traceability in automated test generation: application to smart card software validation. - Fabrice Bouquet; Eddie Jaffuel; Bruno Legeard; Fabien Peureux; Mark Utting (ACM SIGSOFT Softw. Eng. Notes, 2005)

Model-Based Testing from UML Models. - Eddy Bernard; Fabrice Bouquet; Amandine Charbonnier; Bruno Legeard; Fabien Peureux; Mark Utting; Eric Torreborre (GI Jahrestagung (2), 2006)

Un panorama du test à partir de modèles formels. - Mark Utting (Tech. Sci. Informatiques, 2006)

Practical Model-Based Testing - A Tools Approach. - Mark Utting; Bruno Legeard (Morgan Kaufmann, 2007)

A subset of precise UML for model-based testing. - Fabrice Bouquet; Christophe Grandpierre; Bruno Legeard; Fabien Peureux; Nicolas Vacelet; Mark Utting (A-MOST, 2007)

Unit Testing of Z Specifications. - Mark Utting; Petra Malik (ABZ, 2008)

A Comparison of State-Based Modelling Tools for Model Validation. - Emine Gokce Aydal; Mark Utting; Jim Woodcock 001 (TOOLS (46), 2008)

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. - Emine Gokce Aydal; Richard F. Paige; Mark Utting; Jim Woodcock 001 (ICST, 2009)

Transformation Rules for Z. - Mark Utting; Petra Malik; Ian Toyn (Chic. J. Theor. Comput. Sci., 2010)

How to Design Extended Finite State Machine Test Models in Java. - Mark Utting (Model-Based Testing for Embedded Systems, 2011)

EvolvingWeb-Based Test Automation into Agile Business Specifications. - Rick Mugridge; Mark Utting; David Streader (Future Internet, 2011)

A hybrid simulation framework to assess the impact of renewable generators on a distribution network. - Fanny Boulaire; Mark Utting; Robin Drogemuller; Gerard Ledwich; Iman Ziari (WSC, 2012)

A taxonomy of model-based testing approaches. - Mark Utting; Alexander Pretschner; Bruno Legeard (Softw. Test. Verification Reliab., 2012)

Parallel ABM for Electricity Distribution Grids: A Case Study. - Fanny Boulaire; Mark Utting; Robin Drogemuller (Euro-Par Workshops, 2013)

MODAM: A modular agent-based modelling framework. - Fanny Boulaire; Mark Utting; Robin Drogemuller (SE4SG@ICSE, 2013)

The JStar language philosophy. - Mark Utting; Min-Hsien Weng; John G. Cleary (Parallel Comput., 2014)

Dynamic agent composition for large-scale agent-based models. - Fanny Boulaire; Mark Utting; Robin Drogemuller (Complex Adapt. Syst. Model., 2015)

Bound Analysis for Whiley Programs. - Min-Hsien Weng; Mark Utting; Bernhard Pfahringer (USE@FM, 2015)

Impact of technology uptake on an Australian electricity distribution network. - Fanny Boulaire; Mark Utting; Robin Drogemuller (Environ. Model. Softw., 2015)

Recent Advances in Model-Based Testing. - Mark Utting; Bruno Legeard; Fabrice Bouquet; Elizabeta Fourneret; Fabien Peureux; Alexandre Vernotte (Adv. Comput., 2016)

Static techniques for reducing memory usage in the C implementation of whiley programs. - Min-Hsien Weng; Bernhard Pfahringer; Mark Utting (ACSW, 2017)

Making Whiley Boogie! - Mark Utting; David J. Pearce 001; Lindsay Groves (IFM, 2017)

An Introduction to Software Verification with Whiley. - David J. Pearce 001; Mark Utting; Lindsay Groves (SETSS, 2018)

Identifying and Generating Missing Tests using Machine Learning on Execution Traces. - Mark Utting; Bruno Legeard; Frédéric Dadeau; Frédéric Tamagnan; Fabrice Bouquet (AITest, 2020)

Tool Support for Refactoring Manual Tests. - Élodie Bernard; Julien Botella; Fabrice Ambert; Bruno Legeard; Mark Utting (ICST, 2020)

A Formal Semantics of the GraalVM Intermediate Representation. - Brae J. Webb; Mark Utting; Ian J. Hayes (ATVA, 2021)

Verification of a Smart Contract for a Simple Casino. - Mark Utting; Liam Kent (CoRR, 2021)

Automatic proofs of memory deallocation for a Whiley-to-C Compiler. - Min-Hsien Weng; Robi Malik; Mark Utting (Formal Methods Syst. Des., 2021)

Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper). - Mark Utting; Brae J. Webb; Ian J. Hayes (CoRR, 2022)

Verifying Whiley Programs with Boogie. - David J. Pearce 001; Mark Utting; Lindsay Groves (J. Autom. Reason., 2022)

Verifying Term Graph Optimizations using Isabelle/HOL. - Brae J. Webb; Ian J. Hayes; Mark Utting (CPP, 2023)

Verifying Compiler Optimisations - (Invited Paper). - Ian J. Hayes; Mark Utting; Brae J. Webb (ICFEM, 2023)

Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). - Mark Utting; Brae J. Webb; Ian J. Hayes (FormaliSE, 2023)

TypeScript's Evolution: An Analysis of Feature Adoption Over Time. - Joshua D. Scarsbrook; Mark Utting; Ryan K. L. Ko (MSR, 2023)