Mark Utting

According to our database, Mark Utting authored at least 61 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

TypeScript's Evolution: An Analysis of Feature Adoption Over Time.

Joshua D. Scarsbrook, Mark Utting, Ryan K. L. Ko

Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Differential Testing of a Verification Framework for Compiler Optimizations (Case Study).

Mark Utting, Brae J. Webb, Ian J. Hayes

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Verifying Compiler Optimisations - (Invited Paper).

Ian J. Hayes, Mark Utting, Brae J. Webb

Proceedings of the Formal Methods and Software Engineering, 2023

Verifying Term Graph Optimizations using Isabelle/HOL.

Brae J. Webb, Ian J. Hayes, Mark Utting

Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023

2022

Verifying Whiley Programs with Boogie.

David J. Pearce, Mark Utting, Lindsay Groves

J. Autom. Reason., 2022

Differential Testing of a Verification Framework for Compiler Optimizations (Experience Paper).

Mark Utting, Brae J. Webb, Ian J. Hayes

CoRR, 2022

2021

Automatic proofs of memory deallocation for a Whiley-to-C Compiler.

Min-Hsien Weng, Robi Malik, Mark Utting

Formal Methods Syst. Des., 2021

Verification of a Smart Contract for a Simple Casino.

Mark Utting, Liam Kent

CoRR, 2021

A Formal Semantics of the GraalVM Intermediate Representation.

Brae J. Webb, Mark Utting, Ian J. Hayes

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

Tool Support for Refactoring Manual Tests.

Élodie Bernard, Julien Botella, Fabrice Ambert, Bruno Legeard, Mark Utting

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

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

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2018

An Introduction to Software Verification with Whiley.

David J. Pearce, Mark Utting, Lindsay Groves

Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

2017

Making Whiley Boogie!

Mark Utting, David J. Pearce, Lindsay Groves

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Static techniques for reducing memory usage in the C implementation of whiley programs.

Min-Hsien Weng, Bernhard Pfahringer, Mark Utting

Proceedings of the Australasian Computer Science Week Multiconference, 2017

2016

Recent Advances in Model-Based Testing.

Mark Utting, Bruno Legeard, Fabrice Bouquet, Elizabeta Fourneret, Fabien Peureux, Alexandre Vernotte

Adv. Comput., 2016

2015

Impact of technology uptake on an Australian electricity distribution network.

Fanny Boulaire, Mark Utting, Robin Drogemuller

Environ. Model. Softw., 2015

Bound Analysis for Whiley Programs.

Min-Hsien Weng, Mark Utting, Bernhard Pfahringer

Proceedings of the 1st Workshop on Uses of Symbolic Execution, 2015

Dynamic agent composition for large-scale agent-based models.

Fanny Boulaire, Mark Utting, Robin Drogemuller

Complex Adapt. Syst. Model., 2015

2014

The JStar language philosophy.

Mark Utting, Min-Hsien Weng, John G. Cleary

Parallel Comput., 2014

2013

MODAM: A modular agent-based modelling framework.

Fanny Boulaire, Mark Utting, Robin Drogemuller

Proceedings of the 2nd International Workshop on Software Engineering Challenges for the Smart Grid, 2013

Parallel ABM for Electricity Distribution Grids: A Case Study.

Fanny Boulaire, Mark Utting, Robin Drogemuller

Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

2012

A taxonomy of model-based testing approaches.

Mark Utting, Alexander Pretschner, Bruno Legeard

Softw. Test. Verification Reliab., 2012

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

Proceedings of the Winter Simulation Conference, 2012

2011

EvolvingWeb-Based Test Automation into Agile Business Specifications.

Rick Mugridge, Mark Utting, David Streader

Future Internet, 2011

How to Design Extended Finite State Machine Test Models in Java.

Mark Utting

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2010

Transformation Rules for Z.

Mark Utting, Petra Malik, Ian Toyn

Chic. J. Theor. Comput. Sci., 2010

2009

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.

Emine Gokce Aydal, Richard F. Paige, Mark Utting, Jim Woodcock

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2008

A Comparison of State-Based Modelling Tools for Model Validation.

Emine Gokce Aydal, Mark Utting, Jim Woodcock

Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Unit Testing of Z Specifications.

Mark Utting, Petra Malik

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

A subset of precise UML for model-based testing.

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

Practical Model-Based Testing - A Tools Approach.

Mark Utting, Bruno Legeard

Morgan Kaufmann, ISBN: 978-0-12-372501-1, 2007

2006

Un panorama du test à partir de modèles formels.

Mark Utting

Tech. Sci. Informatiques, 2006

Model-Based Testing from UML Models.

Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

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

CZT: A Framework for Z Tools.

Petra Malik, Mark Utting

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

The Role of Model-Based Testing.

Mark Utting

Proceedings of the Verified Software: Theories, 2005

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CZT Support for Z Extensions.

Tim Miller, Leo Freitas, Petra Malik, Mark Utting

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Symbolic Animation of JML Specifications.

Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting

Proceedings of the FM 2005: Formal Methods, 2005

2004

Controlling test case explosion in test generation from B formal models.

Bruno Legeard, Fabien Peureux, Mark Utting

Softw. Test. Verification Reliab., 2004

Boundary Coverage Criteria for Test Generation from Formal Models.

Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Faster Analysis of Formal Specifications.

Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Object Orientation without Extending Z.

Mark Utting, Shaochun Wang

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

ZML: XML Support for Standard Z.

Mark Utting, Ian Toyn, Jing Sun, Andrew P. Martin, Jin Song Dong, Nicholas Daley, David W. Currie

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

2002

Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology.

Mark Utting, Peter J. Robinson, Ray Nickson

LMS J. Comput. Math., 2002

A Comparison of the BTT and TTF Test-Generation Methods.

Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Tabling Structures for Bottom-Up Logic Programming.

Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Automated Boundary Testing from Z and B.

Bruno Legeard, Fabien Peureux, Mark Utting

Proceedings of the FME 2002: Formal Methods, 2002

2001

Teaching formal methods lite via testing.

Mark Utting, Steve Reeves

Softw. Test. Verification Reliab., 2001

A sequential real-time refinement calculus.

Ian J. Hayes, Mark Utting

Acta Informatica, 2001

2000

A Survey of Software Development Practices in the New Zealand Software Industry .

Lindsay Groves, Ray Nickson, Greg Reeve, Steve Reeves, Mark Utting

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999

Pseudo-Naive Evaluation.

Donald A. Smith, Mark Utting

Proceedings of the Database Systems 99, 1999

1998

Deadlines are termination.

Ian J. Hayes, Mark Utting

Proceedings of the Programming Concepts and Methods, 1998

Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.

Donald A. Smith, Mark Utting

Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

1997

A Formal Method for Building Concurrent Real-Time Software.

Colin J. Fidge, Peter Kearney, Mark Utting

IEEE Softw., 1997

1996

Integrating Real-Time Scheduling Theory and Program Refinement.

Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

Interactively Verifying a Simple Real-time Scheduler.

Colin J. Fidge, Peter Kearney, Mark Utting

Proceedings of the Computer Aided Verification, 1995

Animating Z: Interactivity, Transparency and Equivalence.

Mark Utting

Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

1994

A Layered Real-Time Specification of a RISC Processor.

Peter Kearney, Mark Utting

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1992

A Tactic Driven Refinement Tool.

Lindsay Groves, Raymond G. Nickson, Mark Utting

Proceedings of the 5th Refinement Workshop, 1992

Modular Reasoning in an Object-Oriented Refinement Calculus.

Mark Utting, Ken Robinson

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992