Richard H. Carver

发表

Reachability testing of concurrent programs

Richard H. Carver, Yu Lei, Yu Lei, 2006, IEEE Transactions on Software Engineering.

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

Richard H. Carver, Yu Lei, 2009, International Journal on Software Tools for Technology Transfer.

Test sequence generation from formal specifications of distributed programs

Richard H. Carver, Kuo-Chung Tai, K. Tai, 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

The Critical Section Problem

Richard H. Carver, Kuo-Chung Tai, K. Tai, 2005 .

A new algorithm for reachability testing of concurrent programs

Richard H. Carver, Yu Lei, 2005, 16th IEEE International Symposium on Software Reliability Engineering (ISSRE'05).

Modern Multithreading : Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

Richard H. Carver, Kuo-Chung Tai, K. Tai, 2005 .

A State Exploration-Based Approach to Testing Java Monitors

Monica Hernandez, Richard H. Carver, David Chenho Kung, 2006, 2006 17th International Symposium on Software Reliability Engineering.

Reproducible Testing of Concurrent Programs Based on Shared Variables

Richard H. Carver, Kuo-Chung Tai, K. Tai, 1986, ICDCS.

Use of sequencing constraints for specifying, testing, and debugging concurrent programs

Richard H. Carver, Kuo-Chung Tai, 1994, Proceedings of 1994 International Conference on Parallel and Distributed Systems.

Selecting and mapping test sequences from formal specifications of concurrent programs

Richard H. Carver, Jian Chen, 1996, Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076).

Testing and Debugging Concurrent Programs

Richard H. Carver, Kuo-Chung Tai, 2005 .

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

Jing Xu, Richard H. Carver, David Chenho Kung, 2013, MUSEPAT.

Debugging Concurrent Ada Programs by Deterministic Execution

Richard H. Carver, Kuo-Chung Tai, Evelyn E. Obaid, 1991, IEEE Trans. Software Eng..

A General Model for Reachability Testing of Concurrent Programs

Richard H. Carver, Yu Lei, 2004, ICFEM.

Deterministic execution debugging of concurrent Ada programs

Richard H. Carver, Kuo-Chung Tai, Evelyn E. Obaid, 1989, [1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference.

Mutation-based testing of concurrent programs

Richard H. Carver, R. Carver, 1993, Proceedings of IEEE International Test Conference - (ITC).

Distributed reachability testing of concurrent programs

Richard H. Carver, Yu Lei, Yu Lei, 2010, Concurr. Comput. Pract. Exp..

VP: a new operation for semaphores

Richard H. Carver, Kuo-Chung Tai, K. Tai, 1996, OPSR.

Semaphores and Locks

Richard H. Carver, Kuo-Chung Tai, 2005 .

A combinatorial testing strategy for concurrent programs

Richard H. Carver, David Chenho Kung, Yu Lei, 2007 .

A Stateful Approach to Testing Monitors in Multithreaded Programs

Richard H. Carver, Jeff Lei, R. Carver, 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.

Replay and testing for concurrent programs

Richard H. Carver, Kuo-Chung Tai, K. Tai, 1991, IEEE Software.

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures

Jing Xu, Richard H. Carver, Yu Lei, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Reachability testing of semaphore-based programs

Richard H. Carver, Yu Lei, 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

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

Richard H. Carver, Steve Counsell, Reuben V. Nithi, 1998, IEEE Trans. Software Eng..

Replay and lesting tor Concurrent Programs

Richard H. Carver, 1991 .

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

Richard H. Carver, R. Carver, 1996, J. Syst. Softw..

Reachability testing of monitor-based programs

Richard H. Carver, Yu Lei, 2004, IASTED Conf. on Software Engineering and Applications.

A methodology for testing concurrent Ada programs

Richard H. Carver, Kuo-Chung Tai, Evelyn E. Obaid, 1987, WADAS '87.

Static analysis of concurrent software for deriving synchronization constraints

Richard H. Carver, Kuo-Chung Tai, 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

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

Jing Xu, Richard H. Carver, David Chenho Kung, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Incremental Integration Testing of Concurrent Programs

Richard H. Carver, Kuo-Chung Tai, Pramod V. Koppol, 2002, IEEE Trans. Software Eng..

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

Richard H. Carver, Yu Lei, 2018, J. Syst. Softw..

A semantics-based approach to analyzing concurrent programs

Richard H. Carver, Kuo-Chung Tai, 1988, [1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis.

Message Passing in Distributed Programs

Richard H. Carver, Kuo-Chung Tai, 2005 .

Specification-based testing of concurrent programs

Richard H. Carver, 2000, SOEN.

Distributed reachability testing of concurrent programs

Richard H. Carver, Yu Lei, 2010 .

A Modular Approach to Model-Based Testing of Concurrent Programs

Richard H. Carver, Yu Lei, 2013, MUSEPAT.

Use of sequencing constraints for specification-based testing of concurrent programs

Richard H. Carver, Kuo-Chung Tai, K. Tai, 1998 .

Introduction to Concurrent Programming

Richard H. Carver, Kuo-Chung Tai, 2005 .