Editorial for the special issue of STVR on tests and proofs volume 2: tests and proofs for improving the generation time and quality of test data suites. (1st October 2014) - Brucker, Achim D.; Julliand, Jacques; Brucker, Achim D.; Julliand, Jacques