Richard H. Carver

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Stateless techniques for generating global and local test oracles for message-passing concurrent programs.
J. Syst. Softw., 2018

2017
Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

2015
A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops.
Proceedings of the 8th IEEE International Conference on Software Testing, 2015

2013
A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions.
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

A Modular Approach to Model-Based Testing of Concurrent Programs.
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

2010
A class library for implementing, testing, and debugging concurrent programs.
Int. J. Softw. Tools Technol. Transf., 2010

Distributed reachability testing of concurrent programs.
Concurr. Comput. Pract. Exp., 2010

A Stateful Approach to Testing Monitors in Multithreaded Programs.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

2007
A combinatorial testing strategy for concurrent programs.
Softw. Test. Verification Reliab., 2007

2006
Reachability Testing of Concurrent Programs.
IEEE Trans. Software Eng., 2006

A State Exploration-Based Approach to Testing Java Monitors.
Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005
A New Algorithm for Reachability Testing of Concurrent Programs.
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

2004
A General Model for Reachability Testing of Concurrent Programs.
Proceedings of the Formal Methods and Software Engineering, 2004

Reachability testing of monitor-based programs.
Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Reachability Testing of Semaphore-Based Programs.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2002
Incremental Integration Testing of Concurrent Programs.
IEEE Trans. Software Eng., 2002

2000
Specification-based testing of concurrent programs.
ACM SIGSOFT Softw. Eng. Notes, 2000

1998
An Evaluation of the MOOD Set of Object-Oriented Software Metrics.
IEEE Trans. Software Eng., 1998

1996
VP: A New Operating for Semaphores.
ACM SIGOPS Oper. Syst. Rev., 1996

Testing abstract distributed programs and their implementations: A constraint-based approach.
J. Syst. Softw., 1996

Selecting and mapping test sequences from formal specifications of concurrent programs.
Proceedings of the 1st High-Assurance Systems Engineering Workshop (HASE '96), 1996

1995
Test Sequence Generation from Formal Specifications of Distributed Programs.
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.
Proceedings of the 5th European Software Engineering Conference, 1995

1994
Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

1993
Mutation-Based Testing of Concurrent Programs.
Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

1991
Debugging Concurrent Ada Programs by Deterministic Execution.
IEEE Trans. Software Eng., 1991

Replay and Testing fro Concurrent Programs.
IEEE Softw., 1991

Static analysis of concurrent software for deriving synchronization constraints.
Proceedings of the 10th International Conference on Distributed Computing Systems (ICDCS 1991), 1991

1989
Deterministic execution testing of concurrent Ada programs.
Proceedings of the Conference on Tri-Ada 1989, 1989

Deterministic execution debugging of concurrent Ada programs.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1987
A methodology for testing concurrent Ada programs.
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.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986


  Loading...