default search action
Richard G. Hamlet
Person information
- affiliation: Portland State University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2001
- [c19]Richard G. Hamlet, David V. Mason, Denise M. Woit:
Theory of Software Reliability Based on Components. ICSE 2001: 361-370 - 2000
- [j28]Sergio Antoy, Richard G. Hamlet:
Automatically Checking an Implementation against Its Formal Specification. IEEE Trans. Software Eng. 26(1): 55-69 (2000) - [c18]Richard G. Hamlet:
On subdomains: Testing, profiles, and components. ISSTA 2000: 71-76
1990 – 1999
- 1999
- [j27]Richard G. Hamlet:
Tribute: John Gannon. Softw. Test. Verification Reliab. 9(4): 201-203 (1999) - 1998
- [j26]Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini:
Evaluating Testing Methods by Delivered Reliability. IEEE Trans. Software Eng. 24(8): 586-601 (1998) - [c17]Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson:
The Most Influential Papers from the ISSTA Research Community (Panel). ISSTA 1998: 49 - [c16]Richard G. Hamlet:
What Can We Learn by Testing a Program? ISSTA 1998: 50-52 - 1997
- [j25]Richard G. Hamlet:
An Essay on Software Testing for Quality Assurance - Editor's Introduction. Ann. Softw. Eng. 4: 1-9 (1997) - [c15]Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini:
Choosing a Testing Method to Deliver Reliability. ICSE 1997: 68-78 - 1996
- [c14]Richard G. Hamlet:
Predicting Dependability by Testing. ISSTA 1996: 84-91 - 1995
- [j24]Richard G. Hamlet:
Software Quality, Software Process, and Software Testing. Adv. Comput. 41: 191-229 (1995) - [j23]Richard G. Hamlet:
Implementing Prototype Testing Tools. Softw. Pract. Exp. 25(4): 347-371 (1995) - 1994
- [c13]Richard G. Hamlet:
Foundations of Software Testing: Dependability Theory. SIGSOFT FSE 1994: 128-139 - 1993
- [c12]Richard G. Hamlet, Bruce Gifford, Borislav Nikolik:
Exploring Dataflow Testing of Arrays. ICSE 1993: 118-129 - [c11]Richard G. Hamlet, Jeffrey M. Voas:
Faults on Its Sleeve: Amplifying Software Reliability Testing. ISSTA 1993: 89-98 - 1992
- [j22]Richard G. Hamlet:
Are We Testing for True Reliability? IEEE Softw. 9(4): 21-27 (1992) - [c10]Sergio Antoy, Richard G. Hamlet:
Self-Checking against Formal Specifications. ICCI 1992: 355-360 - 1991
- [c9]Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet:
Comparison of Program Testing Strategies. Symposium on Testing, Analysis, and Verification 1991: 1-10 - 1990
- [j21]Richard G. Hamlet, Ross Taylor:
Partition Testing Does Not Inspire Confidence. IEEE Trans. Software Eng. 16(12): 1402-1411 (1990)
1980 – 1989
- 1989
- [j20]Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet:
Mathematical Principles for a First Course in Software Engineering. IEEE Trans. Software Eng. 15(5): 550-559 (1989) - [c8]Richard G. Hamlet:
Theoretical Comparison of Testing Methods. Symposium on Testing, Analysis, and Verification 1989: 28-37 - 1988
- [j19]Richard G. Hamlet:
Special Section on Software Testing. Commun. ACM 31(6): 662-667 (1988) - 1987
- [j18]Richard G. Hamlet:
Probable Correctness Theory. Inf. Process. Lett. 25(1): 17-25 (1987) - [j17]John D. Gannon, Richard G. Hamlet, Harlan D. Mills:
Theory of Modules. IEEE Trans. Software Eng. 13(7): 820-829 (1987) - [c7]Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet:
Teaching principles of computer programming. ACM Conference on Computer Science 1987: 336-341 - 1985
- [c6]John D. Gannon, Richard G. Hamlet, Harlan D. Mills:
Functional Semantics of Modules. TAPSOFT, Vol.2 1985: 42-59 - 1984
- [j16]Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili:
Software Engineering Practices in the US and Japan. Computer 17(6): 57-66 (1984) - 1981
- [j15]Richard G. Hamlet:
Reliability Theory of Program Testing. Acta Informatica 16: 31-43 (1981) - [j14]Richard G. Hamlet:
Hard-to-use evaluation criteria for software engineering. J. Syst. Softw. 2(2): 89-96 (1981) - [j13]John D. Gannon, Paul R. McMullin, Richard G. Hamlet:
Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. 3(3): 211-223 (1981) - 1980
- [j12]John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis:
Testing traversable stacks. ACM SIGPLAN Notices 15(1): 58-65 (1980) - [j11]Richard G. Hamlet, Robert M. Haralick:
Transportable Package Software. Softw. Pract. Exp. 10(12): 1009-1027 (1980)
1970 – 1979
- 1979
- [j10]Richard G. Hamlet:
Report on Florida testing workshop. ACM SIGSOFT Softw. Eng. Notes 4(2): 17-18 (1979) - [c5]Richard G. Hamlet, Azriel Rosenfeld:
Transportable image-processing software. MARK 1979: 267-272 - 1978
- [c4]Richard G. Hamlet:
Test reliability and software maintenance. COMPSAC 1978: 315-320 - 1977
- [j9]Richard G. Hamlet:
Testing Programs with Finite Sets of Data. Comput. J. 20(3): 232-237 (1977) - [j8]Richard G. Hamlet:
Execution traces and programming-language semantics. Int. J. Parallel Program. 6(4): 263-278 (1977) - [j7]Richard G. Hamlet:
Ignorance of ALGOL 68 considered harmful. ACM SIGPLAN Notices 12(4): 51-56 (1977) - [j6]Richard G. Hamlet:
Testing Programs with the Aid of a Compiler. IEEE Trans. Software Eng. 3(4): 279-290 (1977) - [c3]Richard G. Hamlet:
Single-Language Small-Processor Systems. IFIP Congress 1977: 969-974 - 1976
- [j5]Richard G. Hamlet:
High-Level Binding with Low-Level Linkers. Commun. ACM 19(11): 642-644 (1976) - [j4]Richard G. Hamlet:
Application of "DOVETAILING" to program testing. SIGACT News 8(2): 25-26 (1976) - [j3]Richard G. Hamlet:
The PDP-11 as B5500 in teaching systems programming. ACM SIGPLAN Notices 11(5): 47-52 (1976) - 1974
- [j2]Richard G. Hamlet:
User-Like Executives. Softw. Pract. Exp. 4(1): 41-49 (1974) - 1973
- [j1]Richard G. Hamlet:
Efficient Multiprogramming Resource Allocation and Accounting. Commun. ACM 16(6): 337-343 (1973) - [c2]Robert E. Noonan, Victor R. Basili, Richard G. Hamlet, M. Lay, Harlan D. Mills, Albert J. Turner, Marvin V. Zelkowitz:
A SIMPL distributed operating system and its formal definition. SIGPLAN-SIGOPS Interface Meeting 1973: 127-128 - 1972
- [c1]Richard G. Hamlet:
A Patent Problem for Abstract Programming Languages: Machine-Independent Computations. STOC 1972: 193-197
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: