The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard H. Carver: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  19. Static analysis of concurrent software for deriving synchronization constraints. [Citation Graph (, )][DBLP]


Search in 0.000secs, Finished in 0.001secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002