Concepedia

Dick Hamlet

DH

Statistics

Publications

22

Citations

1.4K

H-Index

15

Active since

1983

Affiliations

Portland State University(Current)

Quality Research

Reliable Software Resources (United States)

Toronto Metropolitan University

Tektronix (United States)

Dick Hamlet is an author at Portland State University specializing in engineering, software testing, and verification.

Top concepts

EngineeringSoftware TestingSoftware AnalysisSoftware EngineeringVerificationProgram AnalysisSoftware DesignReliabilityComputer ScienceFormal Verification

Publications per year

1983–2009

22

Publications

22

Partition testing does not inspire confidence (program testing)

Dick Hamlet, Ramsay Taylor · IEEE Transactions on Software Engineering · 1990 · 401 citations

Reliability, Successful Tests, Reliability Engineering +15

Theory of software reliability based on components

Dick Hamlet, Dave Mason, D. Woitm · International Conference on Software Engineering · 2001 · 133 citations

Software Maintenance, Software System Reliability, Software Reliability Testing +25

Automatically checking an implementation against its formal specification

Sergio Antoy, Dick Hamlet · IEEE Transactions on Software Engineering · 2000 · 107 citations

Imperative Implementation, Program Checking, Engineering +18

When only random testing will do

Dick Hamlet · 2006 · 106 citations

Reliability, Engineering, Testing Technique +13

Comparison of program testing strategies

Elaine J. Weyuker, Stewart N. Weiss, Dick Hamlet · 1991 · 101 citations · Full text

1–5 of 22