Special issue for the ICST 2013 conference. - Baudry, Benoit; Orso, Alessandro (Software Testing: Verification & Reliability, 2015)