Software testing and analysis and co-located workshops MIT'10, PADTAD'10, STOV'10 and WODA'10 : ISSTA'10, proceedings of the 2010 international symposium, Trento, Italy, July 12-16, 2010 - Arcuri, Andrea (ACM - Association for Computing Machinery, 2010)