@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}
}
Heuristically Creating Test Cases for Program Verification Systems
| Autor(en): | Bernhard Beckert, Thorsten Bormer und Markus Wagner |
|---|---|
| In: | 10th Metaheuristics International Conference (MIC 2013) |
| Jahr: | 2013 |