Richard G. Hamlet

According to our database1, Richard G. Hamlet
  • authored at least 39 papers between 1972 and 2001.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

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


  Loading...