Richard G. Hamlet

According to our database, Richard G. Hamlet

• authored at least 39 papers between 1972 and 2001.
• has a "Dijkstra number" of four.

2001

Theory of Software Reliability Based on Components.

Richard G. Hamlet, David V. Mason, Denise M. Woit

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Automatically Checking an Implementation against Its Formal Specification.

Sergio Antoy, Richard G. Hamlet

IEEE Trans. Software Eng., 2000

On subdomains: Testing, profiles, and components.

Richard G. Hamlet

Proceedings of the International Symposium on Software Testing and Analysis, 2000

1999

Tribute: John Gannon.

Richard G. Hamlet

Softw. Test., Verif. Reliab., 1999

1998

Evaluating Testing Methods by Delivered Reliability.

Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini

IEEE Trans. Software Eng., 1998

The Most Influential Papers from the ISSTA Research Community (Panel).

Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

What Can We Learn by Testing a Program?

Richard G. Hamlet

Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

1997

An Essay on Software Testing for Quality Assurance - Editor's Introduction.

Richard G. Hamlet

Ann. Software Eng., 1997

Choosing a Testing Method to Deliver Reliability.

Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini

Proceedings of the Pulling Together, 1997

1996

Predicting Dependability by Testing.

Richard G. Hamlet

Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996

1995

Implementing Prototype Testing Tools.

Richard G. Hamlet

Softw., Pract. Exper., 1995

Software Quality, Software Process, and Software Testing.

Richard G. Hamlet

Advances in Computers, 1995

1994

Foundations of Software Testing: Dependability Theory.

Richard G. Hamlet

Proceedings of the SIGSOFT '94, 1994

1993

Faults on Its Sleeve: Amplifying Software Reliability Testing.

Richard G. Hamlet, Jeffrey M. Voas

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Exploring Dataflow Testing of Arrays.

Richard G. Hamlet, Bruce Gifford, Borislav Nikolik

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

Are We Testing for True Reliability?

Richard G. Hamlet

IEEE Software, 1992

Self-Checking against Formal Specifications.

Sergio Antoy, Richard G. Hamlet

Proceedings of the Computing and Information, 1992

1991

Comparison of Program Testing Strategies.

Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet

Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990

Partition Testing Does Not Inspire Confidence.

Richard G. Hamlet, Ross Taylor

IEEE Trans. Software Eng., 1990

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

Theoretical Comparison of Testing Methods.

Richard G. Hamlet

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

1988

Special Section on Software Testing.

Richard G. Hamlet

Commun. ACM, 1988

1987

Theory of Modules.

John D. Gannon, Richard G. Hamlet, Harlan D. Mills

IEEE Trans. Software Eng., 1987

Probable Correctness Theory.

Richard G. Hamlet

Inf. Process. Lett., 1987

Teaching principles of computer programming.

Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet

Proceedings of the 15th ACM Annual Conference on Computer Science, 1987

1985

Functional Semantics of Modules.

John D. Gannon, Richard G. Hamlet, Harlan D. Mills

Proceedings of the Mathematical Foundations of Software Development, 1985

1984

Software Engineering Practices in the US and Japan.

Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili

IEEE Computer, 1984

1981

Data-Abstraction Implementation, Specification, and Testing.

John D. Gannon, Paul R. McMullin, Richard G. Hamlet

ACM Trans. Program. Lang. Syst., 1981

Hard-to-use evaluation criteria for software engineering.

Richard G. Hamlet

Journal of Systems and Software, 1981

Reliability Theory of Program Testing.

Richard G. Hamlet

Acta Inf., 1981

1980

Transportable Package Software.

Richard G. Hamlet, Robert M. Haralick

Softw., Pract. Exper., 1980

1977

Testing Programs with the Aid of a Compiler.

Richard G. Hamlet

IEEE Trans. Software Eng., 1977

Execution traces and programming-language semantics.

Richard G. Hamlet

International Journal of Parallel Programming, 1977

Testing Programs with Finite Sets of Data.

Richard G. Hamlet

Comput. J., 1977

Single-Language Small-Processor Systems.

Richard G. Hamlet

IFIP Congress, 1977

1976

High-Level Binding with Low-Level Linkers.

Richard G. Hamlet

Commun. ACM, 1976

1974

User-Like Executives.

Richard G. Hamlet

Softw., Pract. Exper., 1974

1973

Efficient Multiprogramming Resource Allocation and Accounting.

Richard G. Hamlet

Commun. ACM, 1973

1972

A Patent Problem for Abstract Programming Languages: Machine-Independent Computations

Richard G. Hamlet

Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972