Verification of a sliding window protocol inμCRL and PVS
- 作者Bahareh Badban; Wan Fokkink; Jan Friso Groote; Jun Pang; Jaco van de Pol
- 卷第17卷
- 期第3期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小387.05KB
- 发表时间2005-10
- DOI10.1007/s00165-005-0070-0
- 页码342-388
同作者推荐
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