Completeness of a combination of neighbourhood logic and temporal logic
- 作者Rana Barua
- 卷第16卷
- 期第2期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小104.87KB
- 发表时间2004-05
- DOI10.1007/s00165-004-0035-8
- 页码96-103
同作者推荐
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