Mark Utting

According to our database1, Mark Utting
  • authored at least 48 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
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

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

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

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

2014
The JStar language philosophy.
Parallel Computing, 2014

2013
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

2012
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

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

2010
Transformation Rules for Z.
Chicago J. Theor. Comput. Sci., 2010

2009
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

2008
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

2007
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

2006
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

2005
Requirements traceability in automated test generation: application to smart card software validation.
ACM SIGSOFT Software Engineering Notes, 2005

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

2004
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

2003
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

2002
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

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

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

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

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

1998
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

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

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

1995
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

1994
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

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


  Loading...