Nigel Tracey John Penix Willem Visser Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000). 63-64 2001 11 Softw. Test., Verif. Reliab. 2 db/journals/stvr/stvr11.html#TraceyPV01