Heuristically Creating Test Cases for Program Verification Systems

Begutachtete Veröffentlichung in Tagungsband

Autor(en):Bernhard Beckert, Thorsten Bormer und Markus Wagner
In:10th Metaheuristics International Conference (MIC 2013)
Jahr:2013

BibTeX

@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},
  place     =	{Singapore, Singapore},
  date      =	{5--8 August}
}