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