Mark Utting

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 19

Top Topics

Execution Traces

Intermediate Representations

Formal Semantics

Top Venues

Environ. Model. Softw.

Publications

Joshua D. Scarsbrook, Mark Utting, Ryan K. L. Ko
TypeScript's Evolution: An Analysis of Feature Adoption Over Time. MSR (2023)
Brae J. Webb, Ian J. Hayes, Mark Utting
Verifying Term Graph Optimizations using Isabelle/HOL. CPP (2023)
Ian J. Hayes, Mark Utting, Brae J. Webb
Verifying Compiler Optimisations - (Invited Paper). ICFEM (2023)
Mark Utting, Brae J. Webb, Ian J. Hayes
Differential Testing of a Verification Framework for Compiler Optimizations (Case Study). FormaliSE (2023)
Joshua D. Scarsbrook, Mark Utting, Ryan K. L. Ko
TypeScript's Evolution: An Analysis of Feature Adoption Over Time. CoRR (2023)
David J. Pearce, Mark Utting, Lindsay Groves
Verifying Whiley Programs with Boogie. J. Autom. Reason. 66 (4) (2022)
Brae J. Webb, Ian J. Hayes, Mark Utting
Verifying term graph optimizations using Isabelle/HOL. CoRR (2022)
Mark Utting, Brae J. Webb, Ian J. Hayes
Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper). CoRR (2022)
Brae J. Webb, Mark Utting, Ian J. Hayes
A Formal Semantics of the GraalVM Intermediate Representation. CoRR (2021)
Mark Utting, Liam Kent
Verification of a Smart Contract for a Simple Casino. CoRR (2021)
Brae J. Webb, Mark Utting, Ian J. Hayes
A Formal Semantics of the GraalVM Intermediate Representation. ATVA (2021)
Min-Hsien Weng, Robi Malik, Mark Utting
Automatic proofs of memory deallocation for a Whiley-to-C Compiler. Formal Methods Syst. Des. 57 (3) (2021)
Mark Utting, Bruno Legeard, Frédéric Dadeau, Frédéric Tamagnan, Fabrice Bouquet
Identifying and Generating Missing Tests using Machine Learning on Execution Traces. AITest (2020)
Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting
Tool Support for Refactoring Manual Tests. ICST (2020)
David J. Pearce, Mark Utting, Lindsay Groves
An Introduction to Software Verification with Whiley. SETSS (2018)
Mark Utting, David J. Pearce, Lindsay Groves
Making Whiley Boogie! IFM (2017)
Min-Hsien Weng, Bernhard Pfahringer, Mark Utting
Static techniques for reducing memory usage in the C implementation of whiley programs. ACSW (2017)
Min-Hsien Weng, Mark Utting, Bernhard Pfahringer
Bound Analysis for Whiley Programs. Electron. Notes Theor. Comput. Sci. 320 (2016)
Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte
Recent Advances in Model-Based Testing. Adv. Comput. 101 (2016)
Fanny Boulaire, Mark Utting, Robin Drogemuller
Dynamic agent composition for large-scale agent-based models. Complex Adapt. Syst. Model. 3 (2015)
Fanny Boulaire, Mark Utting, Robin Drogemuller
Impact of technology uptake on an Australian electricity distribution network. Environ. Model. Softw. 69 (2015)
Mark Utting, Min-Hsien Weng, John G. Cleary
The JStar language philosophy. Parallel Comput. 40 (2) (2014)
Fanny Boulaire, Mark Utting, Robin Drogemuller
MODAM: A modular agent-based modelling framework. SE4SG@ICSE (2013)
Fanny Boulaire, Mark Utting, Robin Drogemuller
Parallel ABM for Electricity Distribution Grids: A Case Study. Euro-Par Workshops (2013)
Mark Utting, Min-Hsien Weng, John G. Cleary
The JStar language philosophy. PMAM (2013)
Mark Utting, Alexander Pretschner, Bruno Legeard
A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22 (5) (2012)
Fanny Boulaire, Mark Utting, Robin Drogemuller, Gerard Ledwich, Iman Ziari
A hybrid simulation framework to assess the impact of renewable generators on a distribution network. WSC (2012)
Rick Mugridge, Mark Utting, David Streader
EvolvingWeb-Based Test Automation into Agile Business Specifications. Future Internet 3 (2) (2011)
Mark Utting, Petra Malik, Ian Toyn
Transformation Rules for Z. Chic. J. Theor. Comput. Sci. 2010 (2010)
Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. ICST (2009)
Mark Utting, Petra Malik, Ian Toyn
Transformation Rules for Z. CATS (2009)
Mark Utting, Petra Malik
Unit Testing of Z Specifications. ABZ (2008)
Emine Gokce Aydal, Mark Utting, Jim Woodcock
A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) (2008)
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting
A subset of precise UML for model-based testing. A-MOST (2007)
Mark Utting
Un panorama du test à partir de modèles formels. Tech. Sci. Informatiques 25 (1) (2006)
Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre
Model-Based Testing from UML Models. GI Jahrestagung (2) (2006)
Mark Utting
The Role of Model-Based Testing. VSTTE (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS (2005)
Petra Malik, Mark Utting
CZT: A Framework for Z Tools. ZB (2005)
Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting
Requirements traceability in automated test generation: application to smart card software validation. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting
Symbolic Animation of JML Specifications. FM (2005)
Tim Miller, Leo Freitas, Petra Malik, Mark Utting
CZT Support for Z Extensions. IFM (2005)
Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting
Requirements traceability in automated test generation: application to smart card software validation. A-MOST (2005)
Bruno Legeard, Fabien Peureux, Mark Utting
Controlling test case explosion in test generation from B formal models. Softw. Test. Verification Reliab. 14 (2) (2004)
Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet
Faster Analysis of Formal Specifications. ICFEM (2004)
Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting
Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE (2004)
Mark Utting, Shaochun Wang
Object Orientation without Extending Z. ZB (2003)
Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie
ZML: XML Support for Standard Z. ZB (2003)
Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting
Tabling Structures for Bottom-Up Logic Programming. LOPSTR (2002)
Mark Utting, Peter J. Robinson, Ray Nickson
Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology. LMS J. Comput. Math. 5 (2002)
Bruno Legeard, Fabien Peureux, Mark Utting
A Comparison of the BTT and TTF Test-Generation Methods. ZB (2002)
Bruno Legeard, Fabien Peureux, Mark Utting
Automated Boundary Testing from Z and B. FME (2002)
Mark Utting, Steve Reeves
Teaching formal methods lite via testing. Softw. Test. Verification Reliab. 11 (3) (2001)
Ian J. Hayes, Mark Utting
A sequential real-time refinement calculus. Acta Informatica 37 (6) (2001)
Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting
A Survey of Software Development Practices in the New Zealand Software Industry . Australian Software Engineering Conference (2000)
Donald A. Smith, Mark Utting
Pseudo-Naive Evaluation. Australasian Database Conference (1999)
Ian J. Hayes, Mark Utting
Deadlines are termination. PROCOMET (1998)
Donald A. Smith, Mark Utting
Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs. Implementation Technology for Programming Languages based on Logic (1998)
Colin J. Fidge, Peter Kearney, Mark Utting
A Formal Method for Building Concurrent Real-Time Software. IEEE Softw. 14 (2) (1997)
Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes
Integrating Real-Time Scheduling Theory and Program Refinement. FME (1996)
Mark Utting
Animating Z: Interactivity, Transparency and Equivalence. APSEC (1995)
Colin J. Fidge, Peter Kearney, Mark Utting
Interactively Verifying a Simple Real-time Scheduler. CAV (1995)
Peter Kearney, Mark Utting
A Layered Real-Time Specification of a RISC Processor. FTRTFT (1994)
Lindsay Groves, Raymond G. Nickson, Mark Utting
A Tactic Driven Refinement Tool. Refine (1992)
Mark Utting, Ken Robinson
Modular Reasoning in an Object-Oriented Refinement Calculus. MPC (1992)