| 2002 | ICECCS | Efficient Reachability Testing of Asynchronous Message-Passing Programs. | Yu Lei, Kuo-Chung Tai |
| 2002 | ISSRE | Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. | Yu Lei, Kuo-Chung Tai |
| 2001 | ISADS | On Godefroid's Stateless Search Technique for Testing Concurrent Programs. | Kuo-Chung Tai, Bengi Karaali |
| 2001 | ISSRE | Efficient Deadlock Analysis of Clients/Server Systems with Two-Way Communication. | Jun Zhou, Kuo-Chung Tai |
| 2000 | DSN | Deadlock Detection of EFSMs Using Simultaneous Reachability Analysis. | Bengi Karaali, Kuo-Chung Tai, Mladen A. Vouk |
| 2000 | ICDCS | Deadlock Analysis of Client/Server Programs. | Jun Zhou, Kuo-Chung Tai |
| 1998 | ICDCS | Timestamps for Programs Using Messages and Shared Variables. | Alessio Bechini, Kuo-Chung Tai |
| 1997 | COMPSAC | Test Order for Inter-Class Integration Testing of Object-Oriented Software. | Kuo-Chung Tai, Fonda J. Daniels |
| 1997 | ICDCS | Race Analysis of Traces of Message-Passing Programs. | Kuo-Chung Tai |
| 1996 | ISSRE | Automatic test generation for predicates. | Amit M. Paradkar, Kuo-Chung Tai, Mladen A. Vouk |
| 1996 | ISSTA | An Incremental Approach to Structural Testing of Concurrent Software. | Pramod V. Koppol, Kuo-Chung Tai |
| 1995 | ICDCS | Test Sequence Generation from Formal Specifications of Distributed Programs. | Richard H. Carver, Kuo-Chung Tai |
| 1995 | ISSRE | Test generation for Boolean expressions. | Amit M. Paradkar, Kuo-Chung Tai |
| 1994 | APSEC | Reachability testing: an approach to testing concurrent software. | Gwan-Hwan Hwang, Kuo-Chung Tai, Ting-Lu Huang |
| 1994 | ICPADS | Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs. | Kuo-Chung Tai, Richard H. Carver |
| 1994 | ICPP | Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs. | Kuo-Chung Tai |
| 1994 | ISSRE | Empirical studies of predicate-based software testing. | Mladen A. Vouk, Kuo-Chung Tai, Amit M. Paradkar |
| 1993 | ICNP | Hierarchy-based incremental analysis of communication protocols. | Kuo-Chung Tai, Pramod V. Koppol |
| 1993 | ICSE | Predicate-Based Test Generation for Computer Programs. | Kuo-Chung Tai |
| 1991 | COMPSAC | Protocol validation using a pumping-based approach. | Kuo-Chung Tai, Hong-Fa Ho, Gen-Huey Chen |
| 1991 | ICDCS | Static analysis of concurrent software for deriving synchronization constraints. | Richard H. Carver, Kuo-Chung Tai |
| 1990 | COMPSAC | Condition-based software testing strategies. | Kuo-Chung Tai |
| 1989 | COMPSAC | Testing of concurrent software. | Kuo-Chung Tai |
| 1989 | COMPSAC | Deterministic execution debugging of concurrent Ada programs. | Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid |
| 1986 | ICDCS | Reproducible Testing of Concurrent Programs Based on Shared Variables. | Richard H. Carver, Kuo-Chung Tai |
| 1984 | ICSE | A Program Complexity Metric Based on Data Flow Information in Control Graphs. | Kuo-Chung Tai |
| 1983 | SIGCSE | Visualizing algorithms and processes with the aid of a computer. | Jeffrey W. Mincy, Alan L. Tharp, Kuo-Chung Tai |
| 1979 | COMPSAC | On program testing criteria. | Kuo-Chung Tai |