Literature

Found 5 results
Export:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Aichernig  [Clear All Filters]
2011
Aichernig, B., (editor), , D 3.4b - Testing Theories and Coverage Criteria (Final Version), , 2011  .
 Export: Tagged XML BibTex
2009
Aichernig, B.K., Brandl, H., Wotawa, F. , "Conformance Testing of Hybrid Systems with Qualitative Reasoning Models ", MBT 2009, 2, vol. 253, York, Elsevier B.V., pp. 53-69, 2009  . Abstract
 Export: Tagged XML BibTex
Weiglhofer, M., Aichernig, B., Wotawa, F. , "Fault-based Conformance Testing in Practice", International Journal of Software and Informatics, vol. 3, issue 2-3: Institute of Software, Chinese Academy of Sciences., pp. 375–411, 2009  . Abstract
 Export: Tagged XML BibTex
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