☰

Richard H. Carver

Affiliations: 
George Mason University, Washington, DC 
Area:
Computer Science
Google:
"Richard Carver"
Tree Publications Similar researchers PubMed Report error

Parents

Sign in to add mentor

Children

Sign in to add trainee
Wajdi H. Al-Jedaibi grad student 2001 George Mason

Collaborators

Sign in to add collaborator
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Carver RH, Lei J. (2010) A stateful approach to testing monitors in multithreaded programs Proceedings of Ieee International Symposium On High Assurance Systems Engineering. 54-63
Carver RH, Lei Y. (2010) A class library for implementing, testing, and debugging concurrent programs International Journal On Software Tools For Technology Transfer. 12: 69-88
Carver RH, Lei Y. (2010) Distributed reachability testing of concurrent programs Concurrency Computation Practice and Experience. 22: 2445-2466
Lei Y, Carver RH, Kacker R, et al. (2007) A combinatorial testing strategy for concurrent programs Software Testing Verification and Reliability. 17: 207-225
Lei Y, Carver RH. (2006) Reachability testing of concurrent programs Ieee Transactions On Software Engineering. 32: 382-403
Carver RH, Tai KC. (2005) Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs. 1-465
Carver RH, Lei Y. (2004) A general model for reachability testing of concurrent programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3308: 76-98
Koppol PV, Carver RH, Tai KC. (2002) Incremental integration testing of concurrent programs Ieee Transactions On Software Engineering. 28: 607-623
Carver RH. (2000) Specification-based testing of concurrent programs Acm Sigsoft Software Engineering Notes. 25: 39-40
Carver RH, Tai KC. (1998) Use of sequencing constraints for specification-based testing of concurrent programs Ieee Transactions On Software Engineering. 24: 471-490
See more...