Richard G. Hamlet

47 papers A* 4A 5B 1C 1Journal 28Unranked 8

Year	Rank	Type	Title / Venue / Authors
2001	A*	`conf`	Theory of Software Reliability Based on Components. ICSE Richard G. Hamlet, David V. Mason, Denise M. Woit
2000	J	`jnl`	Automatically Checking an Implementation against Its Formal Specification. IEEE Trans. Software Eng. Sergio Antoy, Richard G. Hamlet
2000	A	`conf`	On subdomains: Testing, profiles, and components. ISSTA Richard G. Hamlet
1999	J	`jnl`	Tribute: John Gannon. Softw. Test. Verification Reliab. Richard G. Hamlet
1998	J	`jnl`	Evaluating Testing Methods by Delivered Reliability. IEEE Trans. Software Eng. Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
1998	A	`conf`	The Most Influential Papers from the ISSTA Research Community (Panel). ISSTA Richard G. Hamlet, Richard A. Kemmerer, Edward F. Miller, Debra J. Richardson
1998	A	`conf`	What Can We Learn by Testing a Program? ISSTA Richard G. Hamlet
1997	J	`jnl`	An Essay on Software Testing for Quality Assurance - Editor's Introduction. Ann. Softw. Eng. Richard G. Hamlet
1997	A*	`conf`	Choosing a Testing Method to Deliver Reliability. ICSE Phyllis G. Frankl, Richard G. Hamlet, Bev Littlewood, Lorenzo Strigini
1996	A	`conf`	Predicting Dependability by Testing. ISSTA Richard G. Hamlet
1995	J	`jnl`	Implementing Prototype Testing Tools. Softw. Pract. Exp. Richard G. Hamlet
1995	J	`jnl`	Software Quality, Software Process, and Software Testing. Adv. Comput. Richard G. Hamlet
1994	—	`conf`	Foundations of Software Testing: Dependability Theory. SIGSOFT FSE Richard G. Hamlet
1993	A*	`conf`	Exploring Dataflow Testing of Arrays. ICSE Richard G. Hamlet, Bruce Gifford, Borislav Nikolik
1993	A	`conf`	Faults on Its Sleeve: Amplifying Software Reliability Testing. ISSTA Richard G. Hamlet, Jeffrey M. Voas
1992	J	`jnl`	Are We Testing for True Reliability? IEEE Softw. Richard G. Hamlet
1992	C	`conf`	Self-Checking against Formal Specifications. ICCI Sergio Antoy, Richard G. Hamlet
1991	—	`conf`	Comparison of Program Testing Strategies. Symposium on Testing, Analysis, and Verification Elaine J. Weyuker, Stewart N. Weiss, Richard G. Hamlet
1990	J	`jnl`	Partition Testing Does Not Inspire Confidence. IEEE Trans. Software Eng. Richard G. Hamlet, Ross Taylor
1989	J	`jnl`	Mathematical Principles for a First Course in Software Engineering. IEEE Trans. Software Eng. Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
1989	—	`conf`	Theoretical Comparison of Testing Methods. Symposium on Testing, Analysis, and Verification Richard G. Hamlet
1988	J	`jnl`	Special Section on Software Testing. Commun. ACM Richard G. Hamlet
1987	J	`jnl`	Probable Correctness Theory. Inf. Process. Lett. Richard G. Hamlet
1987	—	`conf`	Teaching principles of computer programming. ACM Conference on Computer Science Harlan D. Mills, Victor R. Basili, John D. Gannon, Richard G. Hamlet
1987	J	`jnl`	Theory of Modules. IEEE Trans. Software Eng. John D. Gannon, Richard G. Hamlet, Harlan D. Mills
1985	—	`conf`	Functional Semantics of Modules. TAPSOFT, Vol.2 John D. Gannon, Richard G. Hamlet, Harlan D. Mills
1984	J	`jnl`	Software Engineering Practices in the US and Japan. Computer Marvin V. Zelkowitz, Raymond T. Yeh, Richard G. Hamlet, John D. Gannon, Victor R. Basili
1981	J	`jnl`	Data-Abstraction Implementation, Specification, and Testing. ACM Trans. Program. Lang. Syst. John D. Gannon, Paul R. McMullin, Richard G. Hamlet
1981	J	`jnl`	Hard-to-use evaluation criteria for software engineering. J. Syst. Softw. Richard G. Hamlet
1981	J	`jnl`	Reliability Theory of Program Testing. Acta Informatica Richard G. Hamlet
1980	J	`jnl`	Testing traversable stacks. ACM SIGPLAN Notices John D. Gannon, Paul R. McMullin, Richard G. Hamlet, Mark A. Ardis
1980	J	`jnl`	Transportable Package Software. Softw. Pract. Exp. Richard G. Hamlet, Robert M. Haralick
1979	J	`jnl`	Report on Florida testing workshop. ACM SIGSOFT Softw. Eng. Notes Richard G. Hamlet
1979	—	`conf`	Transportable image-processing software. MARK Richard G. Hamlet, Azriel Rosenfeld
1978	B	`conf`	Test reliability and software maintenance. COMPSAC Richard G. Hamlet
1977	J	`jnl`	Execution traces and programming-language semantics. Int. J. Parallel Program. Richard G. Hamlet
1977	J	`jnl`	Ignorance of ALGOL 68 considered harmful. ACM SIGPLAN Notices Richard G. Hamlet
1977	—	`conf`	Single-Language Small-Processor Systems. IFIP Congress Richard G. Hamlet
1977	J	`jnl`	Testing Programs with Finite Sets of Data. Comput. J. Richard G. Hamlet
1977	J	`jnl`	Testing Programs with the Aid of a Compiler. IEEE Trans. Software Eng. Richard G. Hamlet
1976	J	`jnl`	Application of "DOVETAILING" to program testing. SIGACT News Richard G. Hamlet
1976	J	`jnl`	High-Level Binding with Low-Level Linkers. Commun. ACM Richard G. Hamlet
1976	J	`jnl`	The PDP-11 as B5500 in teaching systems programming. ACM SIGPLAN Notices Richard G. Hamlet
1974	J	`jnl`	User-Like Executives. Softw. Pract. Exp. Richard G. Hamlet
1973	—	`conf`	A SIMPL distributed operating system and its formal definition. SIGPLAN-SIGOPS Interface Meeting Robert E. Noonan, Victor R. Basili, Richard G. Hamlet, M. Lay, Harlan D. Mills, Albert J. Turner, Marvin V. Zelkowitz
1973	J	`jnl`	Efficient Multiprogramming Resource Allocation and Accounting. Commun. ACM Richard G. Hamlet
1972	A*	`conf`	A Patent Problem for Abstract Programming Languages: Machine-Independent Computations STOC Richard G. Hamlet