The First International Workshop on Automated Program Analysis, Testing and Verification (workshop session)
Nigel J. Tracey, John Penix, Willem C. Visser · 2000
Program analysis, testing and verification are key techniques for building confidence in and increasing the quality of software systems. Such activities typically cost upwards of 50% of total development costs. Automation aims to allow both reduced costs and more thorough analysis, testing and verification and is vital to keep pace with increasing software complexity.