Nigel J. Tracey

Publication Activity (10 Years)

Years Active: 1998-2000
Publications (10 Years): 0

Publications

Nigel J. Tracey, John A. Clark, Keith Mander, John Alexander McDermid
Automated test-data generation for exception conditions. Softw. Pract. Exp. 30 (1) (2000)
Nigel J. Tracey, John A. Clark, Keith Mander, John Alexander McDermid
An Automated Framework for Structural Test-Data Generation. ASE (1998)
Nigel J. Tracey, John A. Clark, Keith Mander
Automated Program Flaw Finding Using Simulated Annealing. ISSTA (1998)
John McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine
Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap. ICFEM (1998)