CSP theorems for communicating B machines
- 作者Steve Schneider; Helen Treharne
- 卷第17卷
- 期第4期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小311.58KB
- 发表时间2005-12
- DOI10.1007/s00165-005-0076-7
- 页码390-422
同作者推荐
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