The first international workshop on automated program analysis, testing and verification - researchr publication related

researchr

You are not signed in
Sign in
Sign up

John Penix, Nigel Tracey, Willem Visser. The first international workshop on automated program analysis, testing and verification. ACM SIGSOFT Software Engineering Notes, 26(1):40, 2001. [doi]

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]

Editorial: The First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV 2000)Nigel Tracey, John Penix, Willem Visser. stvr, 11(2):63-64, 2001.

The Second International Workshop on Automated Program Analysis, Testing and VerificationNigel Tracey, John Penix, Willem Visser. ICSE 2001: 755-755

runs on WebDSL