Richard H. Carver

According to our database, Richard H. Carver authored at least 32 papers between 1986 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Stateless techniques for generating global and local test oracles for message-passing concurrent programs.

Richard H. Carver, Yu Lei

J. Syst. Softw., 2018

2017

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures.

Jing Xu, Yu Lei, Richard H. Carver

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops.

Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2013

A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions.

Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

A Modular Approach to Model-Based Testing of Concurrent Programs.

Richard H. Carver, Yu Lei

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

2010

A class library for implementing, testing, and debugging concurrent programs.

Richard H. Carver, Yu Lei

Int. J. Softw. Tools Technol. Transf., 2010

Distributed reachability testing of concurrent programs.

Richard H. Carver, Yu Lei

Concurr. Comput. Pract. Exp., 2010

A Stateful Approach to Testing Monitors in Multithreaded Programs.

Richard H. Carver, Jeff Yu Lei

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2007

A combinatorial testing strategy for concurrent programs.

Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung

Softw. Test. Verification Reliab., 2007

2006

Reachability Testing of Concurrent Programs.

Yu Lei, Richard H. Carver

IEEE Trans. Software Eng., 2006

A State Exploration-Based Approach to Testing Java Monitors.

Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005

A New Algorithm for Reachability Testing of Concurrent Programs.

Yu Lei, Richard H. Carver

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

2004

A General Model for Reachability Testing of Concurrent Programs.

Richard H. Carver, Yu Lei

Proceedings of the Formal Methods and Software Engineering, 2004

Reachability testing of monitor-based programs.

Yu Lei, Richard H. Carver

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Reachability Testing of Semaphore-Based Programs.

Yu Lei, Richard H. Carver

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2002

Incremental Integration Testing of Concurrent Programs.

Pramod V. Koppol, Richard H. Carver, Kuo-Chung Tai

IEEE Trans. Software Eng., 2002

2000

Specification-based testing of concurrent programs.

Richard H. Carver

ACM SIGSOFT Softw. Eng. Notes, 2000

1998

An Evaluation of the MOOD Set of Object-Oriented Software Metrics.

Richard H. Carver, Steve Counsell, Reuben V. Nithi

IEEE Trans. Software Eng., 1998

1996

VP: A New Operating for Semaphores.

Kuo-Chung Tai, Richard H. Carver

ACM SIGOPS Oper. Syst. Rev., 1996

Testing abstract distributed programs and their implementations: A constraint-based approach.

Richard H. Carver

J. Syst. Softw., 1996

Selecting and mapping test sequences from formal specifications of concurrent programs.

Jian Chen, Richard H. Carver

Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

1995

Test Sequence Generation from Formal Specifications of Distributed Programs.

Richard H. Carver, Kuo-Chung Tai

Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995

A Specification-Based Methology for Testing Concurrent Programs.

Kuo-Chung Tai, Richard H. Carver

Proceedings of the 5th European Software Engineering Conference, 1995

1994

Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs.

Kuo-Chung Tai, Richard H. Carver

Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

1993

Mutation-Based Testing of Concurrent Programs.

Richard H. Carver

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

1991

Debugging Concurrent Ada Programs by Deterministic Execution.

Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid

IEEE Trans. Software Eng., 1991

Replay and Testing fro Concurrent Programs.

Richard H. Carver, Kuo-Chung Tai

IEEE Softw., 1991

Static analysis of concurrent software for deriving synchronization constraints.

Richard H. Carver, Kuo-Chung Tai

Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1989

Deterministic execution testing of concurrent Ada programs.

Richard H. Carver, Kuo-Chung Tai

Proceedings of the Conference on Tri-Ada 1989, 1989

Deterministic execution debugging of concurrent Ada programs.

Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1987

A methodology for testing concurrent Ada programs.

Kuo-Chung Tai, Richard H. Carver, Evelyn E. Obaid

Proceedings of the Joint Ada conference Fifth National Conference on Ada Technology and Fourth Washington Ada Symposium, 1987

1986

Reproducible Testing of Concurrent Programs Based on Shared Variables.

Richard H. Carver, Kuo-Chung Tai

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986