8th workshop on parallel and distributed systems: testing, analysis, and debugging 2010 : (PADTAD 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : international symposium on software testing and analysis : Jul 2010, Trento, Italy.