Literature

Found 2 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Krenn  [Clear All Filters]
2009
Krenn, W., Aichernig, B.K. , "Test Case Generation by Contract Mutation in Spec#", MBT 2009, 2, vol. 253, York, Elsevier B.V., pp. 71-86, 2009  . Abstract
 Export: Tagged XML BibTex
2008
Aichernig, B., Krenn, W., Eriksson, H., Vinter, J. , "D 1.2 - State of the Art Survey - Part a: Model-based Test Case Generation", MOGENTES public project deliverable, 06/2008. Abstract
 Export: Tagged XML BibTex