Nigel Tracey

According to our database, Nigel Tracey authored at least 5 papers between 2001 and 2018.

Collaborative distances:

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

2018

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies.

Robert I. Davis, Iain Bate, Guillem Bernat, Ian Broster, Alan Burns, Antoine Colin, Stuart Hutchesson, Nigel Tracey

Proceedings of the 30th Euromicro Conference on Real-Time Systems, 2018

2001

Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000).

Nigel Tracey, John Penix, Willem Visser

Softw. Test. Verification Reliab., 2001

Automated analysis, verification and testing.

Nigel Tracey, John Penix, Willem Visser

Softw. Focus, 2001

The first international workshop on automated program analysis, testing and verification.

John Penix, Nigel Tracey, Willem Visser

ACM SIGSOFT Softw. Eng. Notes, 2001

The Second International Workshop on Automated Program Analysis, Testing and Verification.

Nigel Tracey, John Penix, Willem Visser

Proceedings of the 23rd International Conference on Software Engineering, 2001