1. Bisimulation, the supervisory control problem and strong model matching for finite state machines;Barrett;Discrete Event Dynamic Systems: Theory and Applications,1998
2. Optimal software testing and adaptive software testing in the context of software cybernetics;Cai;Information and Software Technology,2002
3. An overview of software cybernetics;Cai,2003
4. Cai, K.Y., Chen, T.Y., Tse, T.H., 2002. Towards research on software cybernetics. In: Proceedings of 7th IEEE International Symposium on High Assurance Systems Engineering, pp. 240–241.
5. Optimal and adaptive testing for software reliability assessment;Cai;Information and Software Technology,2004