Richard G. Hamlet
According to our database1, Richard G. Hamlet
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2001
Theory of Software Reliability Based on Components.
Proceedings of the 23rd International Conference on Software Engineering, 2001
2000
Automatically Checking an Implementation against Its Formal Specification.
IEEE Trans. Software Eng., 2000
On subdomains: Testing, profiles, and components.
Proceedings of the International Symposium on Software Testing and Analysis, 2000
1999
Tribute: John Gannon.
Softw. Test., Verif. Reliab., 1999
1998
Evaluating Testing Methods by Delivered Reliability.
IEEE Trans. Software Eng., 1998
The Most Influential Papers from the ISSTA Research Community (Panel).
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998
What Can We Learn by Testing a Program?
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998
1997
An Essay on Software Testing for Quality Assurance - Editor's Introduction.
Ann. Software Eng., 1997
Choosing a Testing Method to Deliver Reliability.
Proceedings of the Pulling Together, 1997
1996
Predicting Dependability by Testing.
Proceedings of the 1996 International Symposium on Software Testing and Analysis, 1996
1995
Implementing Prototype Testing Tools.
Softw., Pract. Exper., 1995
Software Quality, Software Process, and Software Testing.
Advances in Computers, 1995
1994
Foundations of Software Testing: Dependability Theory.
Proceedings of the SIGSOFT '94, 1994
1993
Faults on Its Sleeve: Amplifying Software Reliability Testing.
Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993
Exploring Dataflow Testing of Arrays.
Proceedings of the 15th International Conference on Software Engineering, 1993
1992
Are We Testing for True Reliability?
IEEE Software, 1992
Self-Checking against Formal Specifications.
Proceedings of the Computing and Information, 1992
1991
Comparison of Program Testing Strategies.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991
1990
Partition Testing Does Not Inspire Confidence.
IEEE Trans. Software Eng., 1990
1989
Mathematical Principles for a First Course in Software Engineering.
IEEE Trans. Software Eng., 1989
Theoretical Comparison of Testing Methods.
Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989
1988
Special Section on Software Testing.
Commun. ACM, 1988
1987
Theory of Modules.
IEEE Trans. Software Eng., 1987
Probable Correctness Theory.
Inf. Process. Lett., 1987
Teaching principles of computer programming.
Proceedings of the 15th ACM Annual Conference on Computer Science, 1987
1985
Functional Semantics of Modules.
Proceedings of the Mathematical Foundations of Software Development, 1985
1984
Software Engineering Practices in the US and Japan.
IEEE Computer, 1984
1981
Data-Abstraction Implementation, Specification, and Testing.
ACM Trans. Program. Lang. Syst., 1981
Hard-to-use evaluation criteria for software engineering.
Journal of Systems and Software, 1981
Reliability Theory of Program Testing.
Acta Inf., 1981
1980
Transportable Package Software.
Softw., Pract. Exper., 1980
1977
Testing Programs with the Aid of a Compiler.
IEEE Trans. Software Eng., 1977
Execution traces and programming-language semantics.
International Journal of Parallel Programming, 1977
Testing Programs with Finite Sets of Data.
Comput. J., 1977
Single-Language Small-Processor Systems.
IFIP Congress, 1977
1976
High-Level Binding with Low-Level Linkers.
Commun. ACM, 1976
1974
User-Like Executives.
Softw., Pract. Exper., 1974
1973
Efficient Multiprogramming Resource Allocation and Accounting.
Commun. ACM, 1973
1972
A Patent Problem for Abstract Programming Languages: Machine-Independent Computations
Proceedings of the 4th Annual ACM Symposium on Theory of Computing, 1972