Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

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