Richard H. Carver

Publication Activity (10 Years)

Years Active: 1986-2018
Publications (10 Years): 2

Top Topics

Concurrent Programs

Top Venues

J. Syst. Softw.

Publications

Richard H. Carver, Yu Lei
Stateless techniques for generating global and local test oracles for message-passing concurrent programs. J. Syst. Softw. 136 (2018)
Jing Xu, Yu Lei, Richard H. Carver
Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. ICST (2017)
Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. ICST (2015)
Richard H. Carver, Yu Lei
A Modular Approach to Model-Based Testing of Concurrent Programs. MUSEPAT (2013)
Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. MUSEPAT (2013)
Richard H. Carver, Jeff Lei
A Stateful Approach to Testing Monitors in Multithreaded Programs. HASE (2010)
Richard H. Carver, Yu Lei
A class library for implementing, testing, and debugging concurrent programs. Int. J. Softw. Tools Technol. Transf. 12 (1) (2010)
Richard H. Carver, Yu Lei
Distributed reachability testing of concurrent programs. Concurr. Comput. Pract. Exp. 22 (18) (2010)
Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung
A combinatorial testing strategy for concurrent programs. Softw. Test. Verification Reliab. 17 (4) (2007)
Yu Lei, Richard H. Carver
Reachability Testing of Concurrent Programs. IEEE Trans. Software Eng. 32 (6) (2006)
Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez
A State Exploration-Based Approach to Testing Java Monitors. ISSRE (2006)
Yu Lei, Richard H. Carver
A New Algorithm for Reachability Testing of Concurrent Programs. ISSRE (2005)
Yu Lei, Richard H. Carver
Reachability testing of monitor-based programs. IASTED Conf. on Software Engineering and Applications (2004)
Yu Lei, Richard H. Carver
Reachability Testing of Semaphore-Based Programs. COMPSAC (2004)
Richard H. Carver, Yu Lei
A General Model for Reachability Testing of Concurrent Programs. ICFEM (2004)
Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai
Incremental Integration Testing of Concurrent Programs. IEEE Trans. Software Eng. 28 (6) (2002)
Richard H. Carver
Specification-based testing of concurrent programs. ACM SIGSOFT Softw. Eng. Notes 25 (1) (2000)
Richard H. Carver, Steve Counsell, Reuben V. Nithi
An Evaluation of the MOOD Set of Object-Oriented Software Metrics. IEEE Trans. Software Eng. 24 (6) (1998)
Jian Chen, Richard H. Carver
Selecting and mapping test sequences from formal specifications of concurrent programs. HASE (1996)
Kuo-Chung Tai, Richard H. Carver
VP: A New Operating for Semaphores. ACM SIGOPS Oper. Syst. Rev. 30 (3) (1996)
Richard H. Carver
Testing abstract distributed programs and their implementations: A constraint-based approach. J. Syst. Softw. 33 (3) (1996)
Kuo-Chung Tai, Richard H. Carver
A Specification-Based Methology for Testing Concurrent Programs. ESEC (1995)
Richard H. Carver, Kuo-Chung Tai
Test Sequence Generation from Formal Specifications of Distributed Programs. ICDCS (1995)
Kuo-Chung Tai, Richard H. Carver
Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs. ICPADS (1994)
Richard H. Carver
Mutation-Based Testing of Concurrent Programs. ITC (1993)
Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid
Debugging Concurrent Ada Programs by Deterministic Execution. IEEE Trans. Software Eng. 17 (1) (1991)
Richard H. Carver, Kuo-Chung Tai
Replay and Testing fro Concurrent Programs. IEEE Softw. 8 (2) (1991)
Richard H. Carver, Kuo-Chung Tai
Static analysis of concurrent software for deriving synchronization constraints. ICDCS (1991)
Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid
Deterministic execution debugging of concurrent Ada programs. COMPSAC (1989)
Richard H. Carver, Kuo-Chung Tai
Deterministic execution testing of concurrent Ada programs. TRI-Ada (1989)
Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid
A methodology for testing concurrent Ada programs. WADAS (1987)
Richard H. Carver, Kuo-Chung Tai
Reproducible Testing of Concurrent Programs Based on Shared Variables. ICDCS (1986)