Mark Utting

2007
28	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
27		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
2005
26	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
25	EE	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting: Symbolic Animation of JML Specifications. FM 2005: 75-90
24	EE	Tim Miller, Leo Freitas, Petra Malik, Mark Utting: CZT Support for Z Extensions. IFM 2005: 227-245
23	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
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	Eddy Bernard	[27]
2	Fabrice Bouquet	[20] [21] [23] [25] [26] [27] [28]
3	Amandine Charbonnier	[27]
4	Roger Clayton	[14]
5	John G. Cleary	[14]
6	David W. Currie	[16]
7	Frédéric Dadeau	[23] [25]
8	Nicholas Daley	[16]
9	Jin Song Dong	[16]
10	Colin J. Fidge	[3] [5] [6]
11	Leo Freitas (Leonardo Freitas)	[24]
12	C. Grandpierre	[28]
13	Lindsay Groves	[10]
14	Ian J. Hayes	[5] [7] [12]
15	Eddie Jaffuel	[21] [26]
16	Peter Kearney	[2] [3] [5] [6]
17	Nikolai Kosmatov	[19]
18	Bruno Legeard	[13] [15] [18] [19] [20] [21] [23] [25] [26] [27] [28]
19	Petra Malik	[22] [24]
20	Andrew Martin	[16]
21	Tim Miller	[24]
22	Ray Nickson	[10]
23	Fabien Peureux	[13] [15] [18] [19] [21] [26] [27] [28]
24	Bernhard Pfahringer	[14]
25	Greg Reeve	[10]
26	Steve Reeves	[10] [11]
27	Ken Robinson (Kenneth Arthur Robinson)	[1]
28	Donald A. Smith	[8] [9]
29	Jing Sun	[16]
30	Eric Torreborre	[27]
31	Ian Toyn	[16]
32	Nicolas Vacelet	[20] [28]
33	Shaochun Wang	[17]

Colors in the list of coauthors