Mark Utting

2008
32	EE	Mark Utting, Petra Malik: Unit Testing of Z Specifications. ABZ 2008: 309-322
31	EE	Emine G. Aydal, Mark Utting, Jim Woodcock: A Comparison of State-Based Modelling Tools for Model Validation. TOOLS (46) 2008: 278-296
2007
30	EE	Fabrice Bouquet, C. Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting: A subset of precise UML for model-based testing. A-MOST 2007: 95-104
2006
29		Eddy Bernard, Fabrice Bouquet, Amandine Charbonnier, Bruno Legeard, Fabien Peureux, Mark Utting, Eric Torreborre: Model-Based Testing from UML Models. GI Jahrestagung (2) 2006: 223-230
28	EE	Mark Utting: Un panorama du test à partir de modèles formels. Technique et Science Informatiques 25(1): 133-139 (2006)
2005
27	EE	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
26	EE	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90
25	EE	Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245
24	EE	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: JML-Testing-Tools: A Symbolic Animator for JML Specifications Using CLP. TACAS 2005: 551-556
23	EE	Mark Utting: The Role of Model-Based Testing. VSTTE 2005: 510-517
22	EE	Petra Malik, Mark Utting: CZT: A Framework for Z Tools. ZB 2005: 65-84
21	EE	Fabrice Bouquet, Eddie Jaffuel, Bruno Legeard, Fabien Peureux, Mark Utting: Requirements traceability in automated test generation: application to smart card software validation. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)
2004
20	EE	Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet: Faster Analysis of Formal Specifications. ICFEM 2004: 239-258
19	EE	Nikolai Kosmatov, Bruno Legeard, Fabien Peureux, Mark Utting: Boundary Coverage Criteria for Test Generation from Formal Models. ISSRE 2004: 139-150
18	EE	Bruno Legeard, Fabien Peureux, Mark Utting: Controlling test case explosion in test generation from B formal models. Softw. Test., Verif. Reliab. 14(2): 81-103 (2004)
2003
17	EE	Mark Utting, Shaochun Wang: Object Orientation without Extending Z. ZB 2003: 319-338
16	EE	Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley, David W. Currie: ZML: XML Support for Standard Z. ZB 2003: 437-456
2002
15	EE	Bruno Legeard, Fabien Peureux, Mark Utting: Automated Boundary Testing from Z and B. FME 2002: 21-40
14	EE	Roger Clayton, John G. Cleary, Bernhard Pfahringer, Mark Utting: Tabling Structures for Bottom-Up Logic Programming. LOPSTR 2002: 50-51
13	EE	Bruno Legeard, Fabien Peureux, Mark Utting: A Comparison of the BTT and TTF Test-Generation Methods. ZB 2002: 309-329
2001
12	EE	Ian J. Hayes, Mark Utting: A sequential real-time refinement calculus. Acta Inf. 37(6): 385-448 (2001)
11		Mark Utting, Steve Reeves: Teaching formal methods lite via testing. Softw. Test., Verif. Reliab. 11(3): 181-195 (2001)
2000
10	EE	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: 189-202
1999
9		Donald A. Smith, Mark Utting: Pseudo-Naive Evaluation. Australasian Database Conference 1999: 211-223
1998
8		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: 113-126
7		Ian J. Hayes, Mark Utting: Deadlines are termination. PROCOMET 1998: 186-204
1997
6		Colin J. Fidge, Peter Kearney, Mark Utting: A Formal Method for Building Concurrent Real-Time Software. IEEE Software 14(2): 99-106 (1997)
1996
5		Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes: Integrating Real-Time Scheduling Theory and Program Refinement. FME 1996: 327-346
1995
4	EE	Mark Utting: Animating Z: Interactivity, Transparency and Equivalence. APSEC 1995: 294-303
3		Colin J. Fidge, Peter Kearney, Mark Utting: Interactively Verifying a Simple Real-time Scheduler. CAV 1995: 395-408
1994
2		Peter Kearney, Mark Utting: A Layered Real-Time Specification of a RISC Processor. FTRTFT 1994: 455-475
1992
1		Mark Utting, Ken Robinson: Modular Reasoning in an Object-Oriented Refinement Calculus. MPC 1992: 344-367

Coauthor Index

1	Emine G. Aydal	[31]
2	Eddy Bernard	[29]
3	Fabrice Bouquet	[20] [21] [24] [26] [27] [29] [30]
4	Amandine Charbonnier	[29]
5	Roger Clayton	[14]
6	John G. Cleary	[14]
7	David W. Currie	[16]
8	Frédéric Dadeau	[24] [26]
9	Nicholas Daley	[16]
10	Jin Song Dong	[16]
11	Colin J. Fidge	[3] [5] [6]
12	Leo Freitas (Leonardo Freitas)	[25]
13	C. Grandpierre	[30]
14	Lindsay Groves	[10]
15	Ian J. Hayes	[5] [7] [12]
16	Eddie Jaffuel	[21] [27]
17	Peter Kearney	[2] [3] [5] [6]
18	Nikolai Kosmatov	[19]
19	Bruno Legeard	[13] [15] [18] [19] [20] [21] [24] [26] [27] [29] [30]
20	Petra Malik	[22] [25] [32]
21	Andrew Martin	[16]
22	Tim Miller	[25]
23	Ray Nickson	[10]
24	Fabien Peureux	[13] [15] [18] [19] [21] [27] [29] [30]
25	Bernhard Pfahringer	[14]
26	Greg Reeve	[10]
27	Steve Reeves	[10] [11]
28	Ken Robinson (Kenneth Arthur Robinson)	[1]
29	Donald A. Smith	[8] [9]
30	Jing Sun	[16]
31	Eric Torreborre	[29]
32	Ian Toyn	[16]
33	Nicolas Vacelet	[20] [30]
34	Shaochun Wang	[17]
35	Jim Woodcock (J. C. P. Woodcock)	[31]

Colors in the list of coauthors