Nigel James Tracey

According to our database, Nigel James Tracey authored at least 7 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Testing and testing techniques for real-time embedded software systems.

Nigel James Tracey, John A. McDermid

Microprocess. Microsystems, 2001

2000

A search-based automated test-data generation framework for safety-critical software.

Nigel James Tracey

PhD thesis, 2000

Automated test-data generation for exception conditions.

Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid

Softw. Pract. Exp., 2000

1999

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

1998

An Automated Framework for Structural Test-Data Generation.

Nigel J. Tracey, John A. Clark, Keith Mander, John A. McDermid

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Automated Program Flaw Finding Using Simulated Annealing.

Nigel J. Tracey, John A. Clark, Keith Mander

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.

John A. McDermid, Andy Galloway, Simon Burton, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998