The following publications are possibly variants of this publication:
- The First International Workshop on Automated Program Analysis, Testing and VerificationNigel Tracey, John Penix, Willem Visser. ICSE 2000: 796 [doi]
- The Second International Workshop on Automated Program Analysis, Testing and VerificationNigel Tracey, John Penix, Willem Visser. ICSE 2001: 755-755
- The first international workshop on automated program analysis, testing and verificationJohn Penix, Nigel Tracey, Willem Visser. sigsoft, 26(1):40, 2001. [doi]