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.
['Nigel J. Tracey', 'John Penix', 'Willem Visser']
The second international workshop on automated program analysis, testing and verification