海量图书期刊资源,随时随地畅享阅读乐趣
Contract-based Mutation Testing in the Refinement CalculusBernhard K. Aichernig · 2002
When Model-based Testing FailsBernhard K. Aichernig; Chris George · 2006
Mutation testing in UTPBernhard K. Aichernig; He Jifeng · 2009
Improving Fault-based Conformance TestingBernhard K. Aichernig; Martin Weiglhofer; Franz Wotawa · 2008
Refinement and Test Case Generation in UTPBernhard K. Aichernig; Jifeng He · 2007
Survey on test data generation toolsGaller, Stefan J.; Aichernig, Bernhard K. · International Journal on Software Tools for Technology Transfer · 2014
Test Case Generation by Contract Mutation in Spec#Willibald Krenn; Bernhard K. Aichernig · 2009
Special issue on testing extra‐functional propertiesSaadatmand, Mehrdad; Lindström, Birgitta; Aichernig, Bernhard K. · Software Testing, Verification and Reliability · 2019