Mark Utting

According to our database1, Mark Utting authored at least 47 papers between 1992 and 2018.

Collaborative distances:



In proceedings 
PhD thesis 





An Introduction to Software Verification with Whiley.
Proceedings of the Engineering Trustworthy Software Systems - 4th International School, 2018

Making Whiley Boogie!
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

Static techniques for reducing memory usage in the C implementation of whiley programs.
Proceedings of the Australasian Computer Science Week Multiconference, 2017

Bound Analysis for Whiley Programs.
Electr. Notes Theor. Comput. Sci., 2016

Recent Advances in Model-Based Testing.
Advances in Computers, 2016

Impact of technology uptake on an Australian electricity distribution network.
Environmental Modelling and Software, 2015

Dynamic agent composition for large-scale agent-based models.
CASM, 2015

The JStar language philosophy.
Proceedings of the 2013 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, 2013

MODAM: A modular agent-based modelling framework.
Proceedings of the 2nd International Workshop on Software Engineering Challenges for the Smart Grid, 2013

Parallel ABM for Electricity Distribution Grids: A Case Study.
Proceedings of the Euro-Par 2013: Parallel Processing Workshops, 2013

A taxonomy of model-based testing approaches.
Softw. Test., Verif. Reliab., 2012

A hybrid simulation framework to assess the impact of renewable generators on a distribution network.
Proceedings of the Winter Simulation Conference, 2012

EvolvingWeb-Based Test Automation into Agile Business Specifications.
Future Internet, 2011

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Transformation Rules for Z.
Proceedings of the Theory of Computing 2009, 2009

A Comparison of State-Based Modelling Tools for Model Validation.
Proceedings of the Objects, Components, Models and Patterns, 46th International Conference, 2008

Unit Testing of Z Specifications.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

A subset of precise UML for model-based testing.
Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

Practical Model-Based Testing - A Tools Approach.
Morgan Kaufmann, ISBN: 978-0-12-372501-1, 2007

Un panorama du test à partir de modèles formels.
Technique et Science Informatiques, 2006

Model-Based Testing from UML Models.
Proceedings of the Informatik 2006, 2006

CZT: A Framework for Z Tools.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

The Role of Model-Based Testing.
Proceedings of the Verified Software: Theories, 2005

JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

CZT Support for Z Extensions.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

Symbolic Animation of JML Specifications.
Proceedings of the FM 2005: Formal Methods, 2005

Requirements traceability in automated test generation: application to smart card software validation.
Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, 2005

Controlling test case explosion in test generation from B formal models.
Softw. Test., Verif. Reliab., 2004

Boundary Coverage Criteria for Test Generation from Formal Models.
Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2004

Faster Analysis of Formal Specifications.
Proceedings of the Formal Methods and Software Engineering, 2004

Object Orientation without Extending Z.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

ZML: XML Support for Standard Z.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

A Comparison of the BTT and TTF Test-Generation Methods.
Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Tabling Structures for Bottom-Up Logic Programming.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Automated Boundary Testing from Z and B.
Proceedings of the FME 2002: Formal Methods, 2002

Teaching formal methods lite via testing.
Softw. Test., Verif. Reliab., 2001

A sequential real-time refinement calculus.
Acta Inf., 2001

A Survey of Software Development Practices in the New Zealand Software Industry .
Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

Pseudo-Naive Evaluation.
Proceedings of the Database Systems 99, 1999

Deadlines are termination.
Proceedings of the Programming Concepts and Methods, 1998

Pseudo-Naive Evaluation: Mixing Top-down and Bottom-up Execution for Strongly Stratified Logic Programs.
Proceedings of the International Workshop on Implementation Technology for Programming Languages based on Logic, 1998

A Formal Method for Building Concurrent Real-Time Software.
IEEE Software, 1997

Integrating Real-Time Scheduling Theory and Program Refinement.
Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Interactively Verifying a Simple Real-time Scheduler.
Proceedings of the Computer Aided Verification, 1995

Animating Z: Interactivity, Transparency and Equivalence.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995

A Layered Real-Time Specification of a RISC Processor.
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

Modular Reasoning in an Object-Oriented Refinement Calculus.
Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992