1. A Controlled Markov Chains Approach to Software Testing;Cai,2000
2. Optimal software testing and adaptive software testing in the context of software cybernetics;Cai;Information and Software Technology,2002
3. Optimal stopping of multi-project software testing in the context of software cybernetics;Cai;Science in China (Series F),2003
4. Optimal software testing in the setting of controlled Markov chains;Cai;European Journal of Operational Research,2005
5. K.Y. Cai, On the Concepts of Total Systems, Total Dependability and Software Cybernetics, (unpublished manuscript), Centre for Software Reliability, City University, London, Draft version, October 1994; revised version, July 1995