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

Nigel Tracey, John Penix, Willem Visser

Browse the full ICSE paper archive.