| 2007 |
|---|
| 20 | EE | Yu Lei,
Richard H. Carver,
Raghu Kacker,
David Chenho Kung:
A combinatorial testing strategy for concurrent programs.
Softw. Test., Verif. Reliab. 17(4): 207-225 (2007) |
| 2006 |
|---|
| 19 | EE | Yu Lei,
Richard H. Carver,
David Chenho Kung,
Vidur Gupta,
Monica Hernandez:
A State Exploration-Based Approach to Testing Java Monitors.
ISSRE 2006: 256-265 |
| 18 | EE | Yu Lei,
Richard H. Carver:
Reachability Testing of Concurrent Programs.
IEEE Trans. Software Eng. 32(6): 382-403 (2006) |
| 2005 |
|---|
| 17 | EE | Yu Lei,
Richard H. Carver:
A New Algorithm for Reachability Testing of Concurrent Programs.
ISSRE 2005: 346-355 |
| 2004 |
|---|
| 16 | EE | Yu Lei,
Richard H. Carver:
Reachability Testing of Semaphore-Based Programs.
COMPSAC 2004: 312-317 |
| 15 | | Yu Lei,
Richard H. Carver:
Reachability testing of monitor-based programs.
IASTED Conf. on Software Engineering and Applications 2004: 312-317 |
| 14 | EE | Richard H. Carver,
Yu Lei:
A General Model for Reachability Testing of Concurrent Programs.
ICFEM 2004: 76-98 |
| 2002 |
|---|
| 13 | EE | Pramod V. Koppol,
Richard H. Carver,
Kuo-Chung Tai:
Incremental Integration Testing of Concurrent Programs.
IEEE Trans. Software Eng. 28(6): 607-623 (2002) |
| 1998 |
|---|
| 12 | EE | Richard H. Carver,
Steve Counsell,
Reuben V. Nithi:
An Evaluation of the MOOD Set of Object-Oriented Software Metrics.
IEEE Trans. Software Eng. 24(6): 491-496 (1998) |
| 1996 |
|---|
| 11 | EE | Jian Chen,
Richard H. Carver:
Selecting and mapping test sequences from formal specifications of concurrent programs.
HASE 1996: 112- |
| 10 | EE | Richard H. Carver:
Testing abstract distributed programs and their implementations: A constraint-based approach.
Journal of Systems and Software 33(3): 223-237 (1996) |
| 9 | | Kuo-Chung Tai,
Richard H. Carver:
VP: A New Operating for Semaphores.
Operating Systems Review 30(3): 5-11 (1996) |
| 1995 |
|---|
| 8 | | Kuo-Chung Tai,
Richard H. Carver:
A Specification-Based Methology for Testing Concurrent Programs.
ESEC 1995: 154-172 |
| 7 | | Richard H. Carver,
Kuo-Chung Tai:
Test Sequence Generation from Formal Specifications of Distributed Programs.
ICDCS 1995: 360-367 |
| 1994 |
|---|
| 6 | | Kuo-Chung Tai,
Richard H. Carver:
Use of Sequencing Constraints for Specifying, Testing, and Debugging Concurrent Programs.
ICPADS 1994: 280-287 |
| 1993 |
|---|
| 5 | | Richard H. Carver:
Mutation-Based Testing of Concurrent Programs.
ITC 1993: 845-853 |
| 1991 |
|---|
| 4 | EE | Richard H. Carver,
Kuo-Chung Tai:
Static analysis of concurrent software for deriving synchronization constraints.
ICDCS 1991: 544-551 |
| 3 | | Richard H. Carver,
Kuo-Chung Tai:
Replay and Testing fro Concurrent Programs.
IEEE Software 8(2): 66-74 (1991) |
| 2 | EE | Kuo-Chung Tai,
Richard H. Carver,
Evelyn E. Obaid:
Debugging Concurrent Ada Programs by Deterministic Execution.
IEEE Trans. Software Eng. 17(1): 45-63 (1991) |
| 1986 |
|---|
| 1 | | Richard H. Carver,
Kuo-Chung Tai:
Reproducible Testing of Concurrent Programs Based on Shared Variables.
ICDCS 1986: 428-433 |
