Automated analysis, verification and testing - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Nigel Tracey, John Penix, Willem Visser. Automated analysis, verification and testing. Software Focus, 2(2):82, 2001.

The following publications are possibly variants of this publication:

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 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.

runs on WebDSL