@InProceedings{BeckertBormerWagner2013b,
author = {Bernhard Beckert and Thorsten Bormer and Markus Wagner},
title = {Heuristically Creating Test Cases for Program Verification
Systems},
booktitle = {10th Metaheuristics International Conference ({MIC} 2013)},
month = aug,
year = {2013},
venue = {Singapore, Singapore},
eventdate = {2013-08-05/2013-08-08}
}