Editorial for special issue of STVR on software testing, verification, and validation – volume 2 (extended selected papers from ICST 2011). (16th September 2013) - Harman, Mark; Korel, Bogdan