Richard G. Hamlet

According to our database, Richard G. Hamlet authored at least 47 papers between 1972 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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. Verification 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. Softw. 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. Exp., 1995

Software Quality, Software Process, and Software Testing.

Richard G. Hamlet

Adv. Comput., 1995

1994

Foundations of Software Testing: Dependability Theory.

Richard G. Hamlet

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 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 Softw., 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

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

J. Syst. Softw., 1981

Reliability Theory of Program Testing.

Richard G. Hamlet

Acta Informatica, 1981

1980

Transportable Package Software.

Richard G. Hamlet, Robert M. Haralick

Softw. Pract. Exp., 1980

Testing traversable stacks.

John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis

ACM SIGPLAN Notices, 1980

1979

Report on Florida testing workshop.

Richard G. Hamlet

ACM SIGSOFT Softw. Eng. Notes, 1979

Transportable image-processing software.

Richard G. Hamlet, Azriel Rosenfeld

Proceedings of the 1979 International Workshop on Managing Requirements Knowledge, 1979

1978

Test reliability and software maintenance.

Richard G. Hamlet

Proceedings of the IEEE Computer Society's Second International Computer Software and Applications Conference, 1978

1977

Testing Programs with the Aid of a Compiler.

Richard G. Hamlet

IEEE Trans. Software Eng., 1977

Ignorance of ALGOL 68 considered harmful.

Richard G. Hamlet

ACM SIGPLAN Notices, 1977

Execution traces and programming-language semantics.

Richard G. Hamlet

Int. J. Parallel Program., 1977

Testing Programs with Finite Sets of Data.

Richard G. Hamlet

Comput. J., 1977

Single-Language Small-Processor Systems.

Richard G. Hamlet

Proceedings of the Information Processing, 1977

1976

The PDP-11 as B5500 in teaching systems programming.

Richard G. Hamlet

ACM SIGPLAN Notices, 1976

Application of "DOVETAILING" to program testing.

Richard G. Hamlet

SIGACT News, 1976

High-Level Binding with Low-Level Linkers.

Richard G. Hamlet

Commun. ACM, 1976

1974

User-Like Executives.

Richard G. Hamlet

Softw. Pract. Exp., 1974

1973

Efficient Multiprogramming Resource Allocation and Accounting.

Richard G. Hamlet

Commun. ACM, 1973

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

Proceedings of the Proceeding of ACM SIGPLAN-SIGOPS Interface Meeting on Programming Languages, 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