Reproducible Testing of Concurrent Programs Based on Shared Variables. - Richard H. Carver; Kuo-Chung Tai (ICDCS, 1986)

A methodology for testing concurrent Ada programs. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (WADAS, 1987)

Deterministic execution debugging of concurrent Ada programs. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (COMPSAC, 1989)

Deterministic execution testing of concurrent Ada programs. - Richard H. Carver; Kuo-Chung Tai (TRI-Ada, 1989)

Static analysis of concurrent software for deriving synchronization constraints. - Richard H. Carver; Kuo-Chung Tai (ICDCS, 1991)

Replay and Testing fro Concurrent Programs. - Richard H. Carver; Kuo-Chung Tai (IEEE Softw., 1991)

Debugging Concurrent Ada Programs by Deterministic Execution. - Kuo-Chung Tai; Richard H. Carver; Evelyn E. Obaid (IEEE Trans. Software Eng., 1991)

Mutation-Based Testing of Concurrent Programs. - Richard H. Carver (ITC, 1993)

Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs. - Kuo-Chung Tai; Richard H. Carver (ICPADS, 1994)

A Specification-Based Methology for Testing Concurrent Programs. - Kuo-Chung Tai; Richard H. Carver (ESEC, 1995)

Test Sequence Generation from Formal Specifications of Distributed Programs. - Richard H. Carver; Kuo-Chung Tai (ICDCS, 1995)

Selecting and mapping test sequences from formal specifications of concurrent programs. - Jian Chen; Richard H. Carver (HASE, 1996)

Testing abstract distributed programs and their implementations: A constraint-based approach. - Richard H. Carver (J. Syst. Softw., 1996)

VP: A New Operating for Semaphores. - Kuo-Chung Tai; Richard H. Carver (ACM SIGOPS Oper. Syst. Rev., 1996)

An Evaluation of the MOOD Set of Object-Oriented Software Metrics. - Richard H. Carver; Steve Counsell; Reuben V. Nithi (IEEE Trans. Software Eng., 1998)

Specification-based testing of concurrent programs. - Richard H. Carver (ACM SIGSOFT Softw. Eng. Notes, 2000)

Incremental Integration Testing of Concurrent Programs. - Pramod V. Koppol; Richard H. Carver; Kuo-Chung Tai (IEEE Trans. Software Eng., 2002)

Reachability Testing of Semaphore-Based Programs. - Yu Lei 001; Richard H. Carver (COMPSAC, 2004)

Reachability testing of monitor-based programs. - Yu Lei 001; Richard H. Carver (IASTED Conf. on Software Engineering and Applications, 2004)

A General Model for Reachability Testing of Concurrent Programs. - Richard H. Carver; Yu Lei 001 (ICFEM, 2004)

A New Algorithm for Reachability Testing of Concurrent Programs. - Yu Lei 001; Richard H. Carver (ISSRE, 2005)

A State Exploration-Based Approach to Testing Java Monitors. - Yu Lei 001; Richard H. Carver; David Chenho Kung; Vidur Gupta; Monica Hernandez (ISSRE, 2006)

Reachability Testing of Concurrent Programs. - Yu Lei 001; Richard H. Carver (IEEE Trans. Software Eng., 2006)

A combinatorial testing strategy for concurrent programs. - Yu Lei 001; Richard H. Carver; Raghu Kacker; David Chenho Kung (Softw. Test. Verification Reliab., 2007)

A Stateful Approach to Testing Monitors in Multithreaded Programs. - Richard H. Carver; Jeff Yu Lei (HASE, 2010)

Distributed reachability testing of concurrent programs. - Richard H. Carver; Yu Lei 001 (Concurr. Comput. Pract. Exp., 2010)

A class library for implementing, testing, and debugging concurrent programs. - Richard H. Carver; Yu Lei 001 (Int. J. Softw. Tools Technol. Transf., 2010)

A Modular Approach to Model-Based Testing of Concurrent Programs. - Richard H. Carver; Yu Lei 001 (MUSEPAT, 2013)

A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. - Jing Xu; Yu Lei 001; Richard H. Carver; David Chenho Kung (MUSEPAT, 2013)

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. - Jing Xu; Yu Lei 001; Richard H. Carver; David Chenho Kung (ICST, 2015)

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. - Jing Xu; Yu Lei 001; Richard H. Carver (ICST, 2017)

Stateless techniques for generating global and local test oracles for message-passing concurrent programs. - Richard H. Carver; Yu Lei 001 (J. Syst. Softw., 2018)