The Second International Workshop on Automated Program Analysis, Testing and Verification. - Nigel Tracey; John Penix; Willem Visser (ICSE, 2001)

The first international workshop on automated program analysis, testing and verification. - John Penix; Nigel Tracey; Willem Visser (ACM SIGSOFT Softw. Eng. Notes, 2001)

Automated analysis, verification and testing. - Nigel Tracey; John Penix; Willem Visser (Softw. Focus, 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)

Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies. - Robert I. Davis 001; Iain Bate; Guillem Bernat; Ian Broster; Alan Burns 001; Antoine Colin; Stuart Hutchesson; Nigel Tracey (ECRTS, 2018)