Generation of Test Cases
暂无分享，去创建一个
[1] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[2] Vincent Tscherter. Exorciser: Automatic generation and interactive grading of structured excercises in the theory of computation , 2004 .
[3] Arthur Gill,et al. Introduction to the theory of finite-state machines , 1962 .
[4] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..