Heuristically Creating Test Cases for Program Verification Systems

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert, Thorsten Bormer, and Markus Wagner
In:10th Metaheuristics International Conference (MIC 2013)
Year: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}
}