The second international workshop on automated program analysis, testing and verification
Nigel J. Tracey, John Penix, W.C. Visser · International Conference on Software Engineering · 2001
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. This workshop follows on from the successful workshop held as part of ICSE 2000 in Ireland to further discuss these issues and the current start-of-the-art.