Achim D. Brucker, Jacques Julliand. 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. Softw. Test., Verif. Reliab., 24(8):591-592, 2014. [doi]
Abstract is missing.