Concepedia

Richard Hamlet

RH

13

Publications

1.3K

Citations

11

H-Index

1976

Active since

Affiliations

University of Maryland, College Park(Current)

Portland State University

The Graduate Center, CUNY

Richard Hamlet is an author at University of Maryland, College Park specializing in engineering, software analysis, and software engineering.

Top concepts

EngineeringSoftware AnalysisSoftware EngineeringProgram AnalysisComputer ScienceFormal MethodsSoftware DesignVerificationSoftware TestingAutomated Reasoning

Publications per year

1976–1998

13

Publications

13

Testing Programs with the Aid of a Compiler

Richard Hamlet · IEEE Transactions on Software Engineering · 1977 · 551 citations

Program Checking, Engineering, Verification +20

Data Abstraction, Implementation, Specification, and Testing

John D. Gannon, Paul R. McMullin, Richard Hamlet · ACM Transactions on Programming Languages and Systems · 1981 · 219 citations · Full text

Evaluating testing methods by delivered reliability [software]

Phyllis G. Frankl, Richard Hamlet, Bev Littlewood et al. · IEEE Transactions on Software Engineering · 1998 · 173 citations

Software Maintenance, Software Reliability Testing, Engineering +18

Probable correctness theory

Richard Hamlet · Information Processing Letters · 1987 · 81 citations

Probable Correctness Theory, Engineering, Automated Reasoning +6

Theoretical comparison of testing methods

Richard Hamlet · 1989 · 80 citations · Full text

Software Maintenance, Theoretical Comparison, Engineering +18

Rows per page

1–5 of 13