Editorial for special issue of STVR on software testing, verification, and validation ‐ volume 1 (extended selected papers from ICST 2011). (27th August 2013) - Harman, Mark; Korel, Bogdan