DOI,IST REx ID,Title of publication
10.1109/ICSE.2004.1317455,4581,Generating tests from counterexamples