The specification logic νZ
- 作者Martin C. Henson; Moshe Deutsch; Besnik Kajtazi
- 卷第18卷
- 期第3期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小316.62KB
- 发表时间2006-09
- DOI10.1007/s00165-006-0007-2
- 页码364-395
同作者推荐
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