Mark Utting - RankMe

68 papers A* 1A 5B 6C 5Misc 2Journal 22Unranked 25

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