A Patent Problem for Abstract Programming Languages: Machine-Independent Computations - Richard G. Hamlet (STOC, 1972)

A SIMPL distributed operating system and its formal definition. - Robert E. Noonan; Victor R. Basili; Richard G. Hamlet; M. Lay; Harlan D. Mills; Albert J. Turner; Marvin V. Zelkowitz (SIGPLAN-SIGOPS Interface Meeting, 1973)

Efficient Multiprogramming Resource Allocation and Accounting. - Richard G. Hamlet (Commun. ACM, 1973)

User-Like Executives. - Richard G. Hamlet (Softw. Pract. Exp., 1974)

High-Level Binding with Low-Level Linkers. - Richard G. Hamlet (Commun. ACM, 1976)

Application of "DOVETAILING" to program testing. - Richard G. Hamlet (SIGACT News, 1976)

The PDP-11 as B5500 in teaching systems programming. - Richard G. Hamlet (ACM SIGPLAN Notices, 1976)

Single-Language Small-Processor Systems. - Richard G. Hamlet (IFIP Congress, 1977)

Testing Programs with Finite Sets of Data. - Richard G. Hamlet (Comput. J., 1977)

Execution traces and programming-language semantics. - Richard G. Hamlet (Int. J. Parallel Program., 1977)

Ignorance of ALGOL 68 considered harmful. - Richard G. Hamlet (ACM SIGPLAN Notices, 1977)

Testing Programs with the Aid of a Compiler. - Richard G. Hamlet (IEEE Trans. Software Eng., 1977)

Test reliability and software maintenance. - Richard G. Hamlet (COMPSAC, 1978)

Transportable image-processing software. - Richard G. Hamlet; Azriel Rosenfeld (MARK, 1979)

Report on Florida testing workshop. - Richard G. Hamlet (ACM SIGSOFT Softw. Eng. Notes, 1979)

Testing traversable stacks. - John D. Gannon; Paul R. McMullin; Richard G. Hamlet; Mark A. Ardis (ACM SIGPLAN Notices, 1980)

Transportable Package Software. - Richard G. Hamlet; Robert M. Haralick (Softw. Pract. Exp., 1980)

Reliability Theory of Program Testing. - Richard G. Hamlet (Acta Informatica, 1981)

Hard-to-use evaluation criteria for software engineering. - Richard G. Hamlet (J. Syst. Softw., 1981)

Data-Abstraction Implementation, Specification, and Testing. - John D. Gannon; Paul R. McMullin; Richard G. Hamlet (ACM Trans. Program. Lang. Syst., 1981)

Software Engineering Practices in the US and Japan. - Marvin V. Zelkowitz; Raymond T. Yeh; Richard G. Hamlet; John D. Gannon; Victor R. Basili (Computer, 1984)

Functional Semantics of Modules. - John D. Gannon; Richard G. Hamlet; Harlan D. Mills (TAPSOFT, Vol.2, 1985)

Teaching principles of computer programming. - Harlan D. Mills; Victor R. Basili; John D. Gannon; Richard G. Hamlet (ACM Conference on Computer Science, 1987)

Probable Correctness Theory. - Richard G. Hamlet (Inf. Process. Lett., 1987)

Theory of Modules. - John D. Gannon; Richard G. Hamlet; Harlan D. Mills (IEEE Trans. Software Eng., 1987)

Special Section on Software Testing. - Richard G. Hamlet (Commun. ACM, 1988)

Theoretical Comparison of Testing Methods. - Richard G. Hamlet (Symposium on Testing, Analysis, and Verification, 1989)

Mathematical Principles for a First Course in Software Engineering. - Harlan D. Mills; Victor R. Basili; John D. Gannon; Richard G. Hamlet (IEEE Trans. Software Eng., 1989)

Partition Testing Does Not Inspire Confidence. - Richard G. Hamlet; Ross Taylor (IEEE Trans. Software Eng., 1990)

Comparison of Program Testing Strategies. - Elaine J. Weyuker; Stewart N. Weiss; Richard G. Hamlet (Symposium on Testing, Analysis, and Verification, 1991)

Self-Checking against Formal Specifications. - Sergio Antoy; Richard G. Hamlet (ICCI, 1992)

Are We Testing for True Reliability? - Richard G. Hamlet (IEEE Softw., 1992)

Exploring Dataflow Testing of Arrays. - Richard G. Hamlet; Bruce Gifford; Borislav Nikolik (ICSE, 1993)

Faults on Its Sleeve: Amplifying Software Reliability Testing. - Richard G. Hamlet; Jeffrey M. Voas (ISSTA, 1993)

Foundations of Software Testing: Dependability Theory. - Richard G. Hamlet (SIGSOFT FSE, 1994)

Software Quality, Software Process, and Software Testing. - Richard G. Hamlet (Adv. Comput., 1995)

Implementing Prototype Testing Tools. - Richard G. Hamlet (Softw. Pract. Exp., 1995)

Predicting Dependability by Testing. - Richard G. Hamlet (ISSTA, 1996)

Choosing a Testing Method to Deliver Reliability. - Phyllis G. Frankl; Richard G. Hamlet; Bev Littlewood; Lorenzo Strigini (ICSE, 1997)

An Essay on Software Testing for Quality Assurance - Editor's Introduction. - Richard G. Hamlet (Ann. Softw. Eng., 1997)

What Can We Learn by Testing a Program? - Richard G. Hamlet (ISSTA, 1998)

The Most Influential Papers from the ISSTA Research Community (Panel). - Richard G. Hamlet; Richard A. Kemmerer; Edward F. Miller; Debra J. Richardson (ISSTA, 1998)

Evaluating Testing Methods by Delivered Reliability. - Phyllis G. Frankl; Richard G. Hamlet; Bev Littlewood; Lorenzo Strigini (IEEE Trans. Software Eng., 1998)

Tribute: John Gannon. - Richard G. Hamlet (Softw. Test. Verification Reliab., 1999)

On subdomains: Testing, profiles, and components. - Richard G. Hamlet (ISSTA, 2000)

Automatically Checking an Implementation against Its Formal Specification. - Sergio Antoy; Richard G. Hamlet (IEEE Trans. Software Eng., 2000)

Theory of Software Reliability Based on Components. - Richard G. Hamlet; David V. Mason; Denise M. Woit (ICSE, 2001)