Richard G. Hamlet

	2001
39		Richard G. Hamlet, David V. Mason, Denise M. Woit: Theory of Software Reliability Based on Components. ICSE 2001: 361-370
	2000
38		Richard G. Hamlet: On subdomains: Testing, profiles, and components. ISSTA 2000: 71-76
37		Sergio Antoy, Richard G. Hamlet: Automatically Checking an Implementation against Its Formal Specification. IEEE Trans. Software Eng. 26(1): 55-69 (2000)
	1999
36		Richard G. Hamlet: Tribute: John Gannon. Softw. Test., Verif. Reliab. 9(4): 201-203 (1999)
	1998
35		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
34		Richard G. Hamlet: What Can We Learn by Testing a Program? ISSTA 1998: 50-52
33		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)
	1997
32		Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini: Choosing a Testing Method to Deliver Reliability. ICSE 1997: 68-78
31		Richard G. Hamlet: An Essay on Software Testing for Quality Assurance - Editor's Introduction. Ann. Software Eng. 4: 1-9 (1997)
	1996
30		Richard G. Hamlet: Predicting Dependability by Testing. ISSTA 1996: 84-91
	1995
29		Richard G. Hamlet: Software Quality, Software Process, and Software Testing. Advances in Computers 41: 191-229 (1995)
28		Richard G. Hamlet: Implementing Prototype Testing Tools. Softw., Pract. Exper. 25(4): 347-371 (1995)
	1994
27		Richard G. Hamlet: Foundations of Software Testing: Dependability Theory. SIGSOFT FSE 1994: 128-139
	1993
26		Richard G. Hamlet, Bruce Gifford, Borislav Nikolik: Exploring Dataflow Testing of Arrays. ICSE 1993: 118-129
25		Richard G. Hamlet, Jeffrey M. Voas: Faults on Its Sleeve: Amplifying Software Reliability Testing. ISSTA 1993: 89-98
	1992
24		Sergio Antoy, Richard G. Hamlet: Self-Checking against Formal Specifications. ICCI 1992: 355-360
23		Richard G. Hamlet: Are We Testing for True Reliability? IEEE Software 9(4): 21-27 (1992)
	1991
22		Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet: Comparison of Program Testing Strategies. Symposium on Testing, Analysis, and Verification 1991: 1-10
	1990
21		Richard G. Hamlet, Ross Taylor: Partition Testing Does Not Inspire Confidence. IEEE Trans. Software Eng. 16(12): 1402-1411 (1990)
	1989
20		Richard G. Hamlet: Theoretical Comparison of Testing Methods. Symposium on Testing, Analysis, and Verification 1989: 28-37
19		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)
	1988
18		Richard G. Hamlet: Special Section on Software Testing. Commun. ACM 31(6): 662-667 (1988)
	1987
17		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
16		John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Theory of Modules. IEEE Trans. Software Eng. 13(7): 820-829 (1987)
15		Richard G. Hamlet: Probable Correctness Theory. Inf. Process. Lett. 25(1): 17-25 (1987)
	1985
14		John D. Gannon, Richard G. Hamlet, Harlan D. Mills: Functional Semantics of Modules. TAPSOFT, Vol.2 1985: 42-59
	1984
13		Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili: Software Engineering Practices in the US and Japan. IEEE Computer 17(6): 57-66 (1984)
	1981
12		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)
11		Richard G. Hamlet: Reliability Theory of Program Testing. Acta Inf. 16: 31-43 (1981)
10		Richard G. Hamlet: Hard-to-use evaluation criteria for software engineering. Journal of Systems and Software 2(2): 89-96 (1981)
	1980
9		Richard G. Hamlet, Robert M. Haralick: Transportable Package Software. Softw., Pract. Exper. 10(12): 1009-1027 (1980)
	1977
8		Richard G. Hamlet: Single-Language Small-Processor Systems. IFIP Congress 1977: 969-974
7		Richard G. Hamlet: Testing Programs with Finite Sets of Data. Comput. J. 20(3): 232-237 (1977)
6		Richard G. Hamlet: Testing Programs with the Aid of a Compiler. IEEE Trans. Software Eng. 3(4): 279-290 (1977)
5		Richard G. Hamlet: Execution traces and programming-language semantics. International Journal of Parallel Programming 6(4): 263-278 (1977)
	1976
4		Richard G. Hamlet: High-Level Binding with Low-Level Linkers. Commun. ACM 19(11): 642-644 (1976)
	1974
3		Richard G. Hamlet: User-Like Executives. Softw., Pract. Exper. 4(1): 41-49 (1974)
	1973
2		Richard G. Hamlet: Efficient Multiprogramming Resource Allocation and Accounting. Commun. ACM 16(6): 337-343 (1973)
	1972
1		Richard G. Hamlet: A Patent Problem for Abstract Programming Languages: Machine-Independent Computations STOC 1972: 193-197

Coauthor Index

1	Sergio Antoy	[24] [37]
2	Victor R. Basili	[13] [17] [19]
3	Phyllis G. Frankl	[32] [33]
4	John D. Gannon	[12] [13] [14] [16] [17] [19]
5	Bruce Gifford	[26]
6	Robert M. Haralick	[9]
7	Richard A. Kemmerer	[35]
8	Bev Littlewood	[32] [33]
9	David V. Mason	[39]
10	Paul R. McMullin	[12]
11	Edward F. Miller	[35]
12	Harlan D. Mills	[14] [16] [17] [19]
13	Borislav Nikolik	[26]
14	Debra J. Richardson	[35]
15	Lorenzo Strigini	[32] [33]
16	Ross Taylor	[21]
17	Jeffrey M. Voas	[25]
18	Stewart N. Weiss	[22]
19	Elaine J. Weyuker	[22]
20	Denise M. Woit	[39]
21	Raymond T. Yeh	[13]
22	Marvin V. Zelkowitz	[13]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page