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},
  venue     =	{Singapore, Singapore},
  eventdate =   {2013-08-05/2013-08-08}
}