Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. - John A. McDermid; Andy Galloway; Simon Burton 001; John A. Clark; Ian Toyn; Nigel J. Tracey; Samuel H. Valentine (ICFEM, 1998)

Automated Program Flaw Finding Using Simulated Annealing. - Nigel J. Tracey; John A. Clark; Keith Mander (ISSTA, 1998)

An Automated Framework for Structural Test-Data Generation. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (ASE, 1998)

CONVERSE: A change-oriented process for engine controllers. - Darren Lee Buttle; John A. Clark; John A. McDermid; Alan Stephenson; Nigel James Tracey (IEE Proc. Softw., 1999)

Automated test-data generation for exception conditions. - Nigel J. Tracey; John A. Clark; Keith Mander; John A. McDermid (Softw. Pract. Exp., 2000)

A search-based automated test-data generation framework for safety-critical software. - Nigel James Tracey (2000)

Testing and testing techniques for real-time embedded software systems. - Nigel James Tracey; John A. McDermid (Microprocess. Microsystems, 2001)