Travelled to:2 × Canada
9 × USA
Collaborated with:∅ J.M.Voas D.V.Mason D.M.Woit B.Gifford B.Nikolik E.J.Weyuker S.N.Weiss J.D.Gannon H.D.Mills P.G.Frankl B.Littlewood L.Strigini
Talks about:test (9) softwar (3) reliabl (3) program (3) comparison (2) theori (2) method (2) depend (2) compon (2) subdomain (1)
Person: Richard G. Hamlet
DBLP: Hamlet:Richard_G=
Contributed to:
2001
2000199819971996
19941993199319911989
1972
1985Wrote 12 papers:
- ICSE-2001-HamletMW #component #reliability
- Theory of Software Reliability Based on Components (RGH, DVM, DMW), pp. 361–370.
- ISSTA-2000-Hamlet #component #on the #testing
- On subdomains: Testing, profiles, and components (RGH), pp. 71–76.
- ISSTA-1998-Hamlet #question #testing #what
- What Can We Learn by Testing a Program? (RGH), pp. 50–52.
- ICSE-1997-FranklHLS #reliability #testing
- Choosing a Testing Method to Deliver Reliability (PGF, RGH, BL, LS), pp. 68–78.
- ISSTA-1996-Hamlet #dependence #predict #testing
- Predicting Dependability by Testing (RGH), pp. 84–91.
- FSE-1994-Hamlet #dependence #testing
- Foundations of Software Testing: Dependability Theory (RGH), pp. 128–139.
- ICSE-1993-HamletGN #array #data flow #testing
- Exploring Dataflow Testing of Arrays (RGH, BG, BN), pp. 118–129.
- ISSTA-1993-HamletV #fault #reliability #testing
- Faults on Its Sleeve: Amplifying Software Reliability Testing (RGH, JMV), pp. 89–98.
- TAV-1991-WeyukerWH #comparison #testing
- Comparison of Program Testing Strategies (EJW, SNW, RGH), pp. 1–10.
- TAV-1989-Hamlet #comparison #testing
- Theoretical Comparison of Testing Methods (RGH), pp. 28–37.
- STOC-1972-Hamlet #independence #problem #programming language
- A Patent Problem for Abstract Programming Languages: Machine-Independent Computations (RGH), pp. 193–197.
- AS-1985-GannonHM #functional #semantics
- Functional Semantics of Modules (JDG, RGH, HDM), pp. 42–59.