Richard H. Carver

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