Dick Hamlet

According to our database, Dick Hamlet authored at least 18 papers between 1983 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Theory of Software Testing With Persistent State.

Dick Hamlet

IEEE Trans. Reliab., 2015

2012

Science, Mathematics, Computer Science, Software Engineering.

Dick Hamlet

Comput. J., 2012

2010

Subdomain (Partition) Testing.

Dick Hamlet

Proceedings of the Encyclopedia of Software Engineering, 2010

2009

Tools and experiments supporting a testing-based theory of component composition.

Dick Hamlet

ACM Trans. Softw. Eng. Methodol., 2009

2007

Practical ultra-reliability for abstract data types.

Borislav Nikolik, Dick Hamlet

Softw. Test. Verification Reliab., 2007

Software component composition: a subdomain-based testing-theory foundation.

Dick Hamlet

Softw. Test. Verification Reliab., 2007

Test-Based Specifications of Components and Systems.

Dick Hamlet

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

When only random testing will do.

Dick Hamlet

Proceedings of the 1st International Workshop on Random Testing, 2006

Subdomain testing of units and systems with state.

Dick Hamlet

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Defining "Predictable Assembly".

Dick Hamlet

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Invariants and state in testing and formal methods.

Dick Hamlet

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

2004

On Formal Specification of Software Components and Systems.

Sharon Flynn, Dick Hamlet

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

2003

Report on the ICSE 2003 doctoral symposium.

Dick Hamlet

ACM SIGSOFT Softw. Eng. Notes, 2003

Report on the ICSE 2003 Doctoral Symposium.

Dick Hamlet, Mary Lou Soffa

Proceedings of the 25th International Conference on Software Engineering, 2003

2002

Continuity in sofware systems.

Dick Hamlet

Proceedings of the International Symposium on Software Testing and Analysis, 2002

2000

Mathematics, Computer Science, Software Engineering.

Dick Hamlet

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

1994

Connecting test coverage to software dependability.

Dick Hamlet

Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1983

Debugging "level": step-wise debugging.

Dick Hamlet

Proceedings of the symposium on High-level debugging, 1983