@InProceedings{BeckertBormerWagner2013b,
  author = 	 {Bernhard Beckert and Thorsten Bormer and Markus Wagner},
  title = 	 {Heuristically Creating Test Cases for Program Verification 
                  Systems},
  booktitle = 	 {Proceedings, 10th Metaheuristics International Conference, 
                  5--8 August 2013, Singapore},
  year = 	 {2013}
}