Kuo-Chung Tai Tai, K. C., & Lei, Y. (2002). A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 28(1), 109–111. Koppol, P. V., Carver, R. H., & Tai, K. C. (2002). Incremental integration testing of concurrent programs. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 28(6), 607–623. https://doi.org/10.1109/TSE.2002.1010062 Karacali, B., & Tai, K. C. (2000). Model checking based on simultaneous reachability analysis. In SPIN model checking and software verification: 7th International SPIN Workshop, Stanford, CA, USA, August 30-Sept. 1, 2000 (Vol. 1885, pp. 34–53). Berlin; New York: Springer. Tai, K. C., & Daniels, F. J. (1999). Interclass test order for object-oriented software. Journal of Object-Oriented Programming, 12(4), 18-. Tai, K. C., & Young, Y. C. (1998). Synchronizable test sequences of finite state machines. COMPUTER NETWORKS AND ISDN SYSTEMS, 30(12), 1111–1134. https://doi.org/10.1016/S0169-7552(98)00013-0 Carver, R. H., & Tai, K. C. (1998). Use of sequencing constraints for specification-based testing of concurrent programs. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 24(6), 471–490. https://doi.org/10.1109/32.689403