Title: The first international workshop on automated program analysis, testing and verification
Abstract: This paper reports on the First International Workshop on Automated Program Analysis, Testing and Verification (WAPATV) held in Limerick on the 4th-5th June 2000, as part of the International Conference on Software Engineering 2000. We begin by presenting an overview of the workshop aims and then focus on the workshop's technical program.
Publication Year: 2001
Publication Date: 2001-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot