| 2017 | ICST | Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. | Jing Xu, Yu Lei, Richard H. Carver |
| 2015 | ICST | A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. | Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung |
| 2006 | ISSRE | A State Exploration-Based Approach to Testing Java Monitors. | Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez |
| 2005 | ISSRE | A New Algorithm for Reachability Testing of Concurrent Programs. | Yu Lei, Richard H. Carver |
| 2004 | COMPSAC | Reachability Testing of Semaphore-Based Programs. | Yu Lei, Richard H. Carver |
| 2004 | ICFEM | A General Model for Reachability Testing of Concurrent Programs. | Richard H. Carver, Yu Lei |
| 1995 | ICDCS | Test Sequence Generation from Formal Specifications of Distributed Programs. | Richard H. Carver, Kuo-Chung Tai |
| 1994 | ICPADS | Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs. | Kuo-Chung Tai, Richard H. Carver |
| 1993 | ITC | Mutation-Based Testing of Concurrent Programs. | Richard H. Carver |
| 1991 | ICDCS | Static analysis of concurrent software for deriving synchronization constraints. | Richard H. Carver, 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 |