The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

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

Publications of Author

  1. Richard G. Hamlet, Robert M. Haralick
    Transportable Package Software. [Citation Graph (1, 0)][DBLP]
    Softw., Pract. Exper., 1980, v:10, n:12, pp:1009-1027 [Journal]
  2. Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
    Teaching principles of computer programming. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1987, pp:336-341 [Conf]
  3. Sergio Antoy, Richard G. Hamlet
    Self-Checking against Formal Specifications. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:355-360 [Conf]
  4. Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
    Choosing a Testing Method to Deliver Reliability. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:68-78 [Conf]
  5. Richard G. Hamlet, Bruce Gifford, Borislav Nikolik
    Exploring Dataflow Testing of Arrays. [Citation Graph (0, 0)][DBLP]
    ICSE, 1993, pp:118-129 [Conf]
  6. Richard G. Hamlet, David V. Mason, Denise M. Woit
    Theory of Software Reliability Based on Components. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:361-370 [Conf]
  7. Richard G. Hamlet
    Single-Language Small-Processor Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:969-974 [Conf]
  8. Richard G. Hamlet
    On subdomains: Testing, profiles, and components. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:71-76 [Conf]
  9. Richard G. Hamlet
    Theoretical Comparison of Testing Methods. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:28-37 [Conf]
  10. Richard G. Hamlet
    Predicting Dependability by Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:84-91 [Conf]
  11. Richard G. Hamlet
    What Can We Learn by Testing a Program? [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:50-52 [Conf]
  12. Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
    The Most Influential Papers from the ISSTA Research Community (Panel). [Citation Graph (0, 0)][DBLP]
    ISSTA, 1998, pp:49- [Conf]
  13. Richard G. Hamlet, Jeffrey M. Voas
    Faults on Its Sleeve: Amplifying Software Reliability Testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:89-98 [Conf]
  14. Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet
    Comparison of Program Testing Strategies. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1991, pp:1-10 [Conf]
  15. Richard G. Hamlet
    Foundations of Software Testing: Dependability Theory. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:128-139 [Conf]
  16. Richard G. Hamlet
    A Patent Problem for Abstract Programming Languages: Machine-Independent Computations [Citation Graph (0, 0)][DBLP]
    STOC, 1972, pp:193-197 [Conf]
  17. John D. Gannon, Richard G. Hamlet, Harlan D. Mills
    Functional Semantics of Modules. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.2, 1985, pp:42-59 [Conf]
  18. Richard G. Hamlet
    Software Quality, Software Process, and Software Testing. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1995, v:41, n:, pp:191-229 [Journal]
  19. Richard G. Hamlet
    Reliability Theory of Program Testing. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1981, v:16, n:, pp:31-43 [Journal]
  20. Richard G. Hamlet
    An Essay on Software Testing for Quality Assurance - Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    Ann. Software Eng., 1997, v:4, n:, pp:1-9 [Journal]
  21. Richard G. Hamlet
    Efficient Multiprogramming Resource Allocation and Accounting. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1973, v:16, n:6, pp:337-343 [Journal]
  22. Richard G. Hamlet
    High-Level Binding with Low-Level Linkers. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1976, v:19, n:11, pp:642-644 [Journal]
  23. Richard G. Hamlet
    Special Section on Software Testing. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1988, v:31, n:6, pp:662-667 [Journal]
  24. Richard G. Hamlet
    Testing Programs with Finite Sets of Data. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1977, v:20, n:3, pp:232-237 [Journal]
  25. Richard G. Hamlet
    Probable Correctness Theory. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1987, v:25, n:1, pp:17-25 [Journal]
  26. Richard G. Hamlet
    Hard-to-use evaluation criteria for software engineering. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 1981, v:2, n:2, pp:89-96 [Journal]
  27. Richard G. Hamlet
    Are We Testing for True Reliability? [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1992, v:9, n:4, pp:21-27 [Journal]
  28. Richard G. Hamlet
    User-Like Executives. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1974, v:4, n:1, pp:41-49 [Journal]
  29. Richard G. Hamlet
    Implementing Prototype Testing Tools. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1995, v:25, n:4, pp:347-371 [Journal]
  30. Richard G. Hamlet
    Tribute: John Gannon. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:4, pp:201-203 [Journal]
  31. John D. Gannon, Paul R. McMullin, Richard G. Hamlet
    Data-Abstraction Implementation, Specification, and Testing. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1981, v:3, n:3, pp:211-223 [Journal]
  32. Sergio Antoy, Richard G. Hamlet
    Automatically Checking an Implementation against Its Formal Specification. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:1, pp:55-69 [Journal]
  33. Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
    Evaluating Testing Methods by Delivered Reliability. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:8, pp:586-601 [Journal]
  34. John D. Gannon, Richard G. Hamlet, Harlan D. Mills
    Theory of Modules. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1987, v:13, n:7, pp:820-829 [Journal]
  35. Richard G. Hamlet
    Testing Programs with the Aid of a Compiler. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1977, v:3, n:4, pp:279-290 [Journal]
  36. Richard G. Hamlet, Ross Taylor
    Partition Testing Does Not Inspire Confidence. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:12, pp:1402-1411 [Journal]
  37. Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
    Mathematical Principles for a First Course in Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1989, v:15, n:5, pp:550-559 [Journal]

  38. Software Engineering Practices in the US and Japan. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.018secs
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