Concepedia

Richard H. Carver

RH

Statistics

Publications

14

Citations

715

H-Index

12

Active since

1986

Affiliations

George Mason University(Current)

North Carolina State University

The University of Texas at Arlington

San Jose State University

Richard H. Carver is an author at George Mason University specializing in computer science, computing, and concurrency analysis.

Publications per year

1986–2010

14

Publications

14

Replay and testing for concurrent programs

Richard H. Carver, Kuo‐Chung Tai · IEEE Software · 1991 · 141 citations

Computing, Computer Engineering, Computer Science +16

Debugging concurrent Ada programs by deterministic execution

Kuo‐Chung Tai, Richard H. Carver, Evelyn E. Obaid · IEEE Transactions on Software Engineering · 1991 · 135 citations

Computing, Computer Engineering, Computer Science +11

Reachability testing of concurrent programs

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

Computing, Computer Science, Computer Systems +17

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

Richard H. Carver, Kuo‐Chung Tai · IEEE Transactions on Software Engineering · 1998 · 83 citations

Computing, Computer Engineering, Computer Science +16

Incremental integration testing of concurrent programs

Pramod V. Koppol, Richard H. Carver, Kuo‐Chung Tai · IEEE Transactions on Software Engineering · 2002 · 51 citations

Computing, Computer Engineering, Computer Science +13

1–5 of 14