Safety-Complete Test Suites
暂无分享,去创建一个
[1] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..
[2] Alexandre Petrenko,et al. Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method , 1994, IEEE Trans. Software Eng..
[3] Anne Elisabeth Haxthausen,et al. Formal Development and Verification of a Distributed Railway Control System , 2000, IEEE Trans. Software Eng..
[4] M. P. Vasilevskii. Failure diagnosis of automata , 1973 .
[5] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[6] Paul C. Jorgensen. The Craft of Model-Based Testing , 2017 .
[7] Jan Peleska,et al. Complete model-based equivalence class testing , 2014, International Journal on Software Tools for Technology Transfer.
[8] Zhichang Qi,et al. Property-Oriented Testing: An Approach to Focusing Testing Efforts on Behaviours of Interest , 2004, SOQUA/TECOS.
[9] Jan Peleska,et al. Complete model-based equivalence class testing for nondeterministic systems , 2016, Formal Aspects of Computing.