Debugging "level": step-wise debugging. - Dick Hamlet (SIGSOFT, 1983)

Connecting test coverage to software dependability. - Dick Hamlet (ISSRE, 1994)

Mathematics, Computer Science, Software Engineering. - Dick Hamlet (MFCSIT, 2000)

Continuity in sofware systems. - Dick Hamlet (ISSTA, 2002)

Report on the ICSE 2003 Doctoral Symposium. - Dick Hamlet; Mary Lou Soffa (ICSE, 2003)

Report on the ICSE 2003 doctoral symposium. - Dick Hamlet (ACM SIGSOFT Softw. Eng. Notes, 2003)

On Formal Specification of Software Components and Systems. - Sharon Flynn; Dick Hamlet (MFCSIT, 2004)

Invariants and state in testing and formal methods. - Dick Hamlet (PASTE, 2005)

Defining "Predictable Assembly". - Dick Hamlet (CBSE, 2006)

Subdomain testing of units and systems with state. - Dick Hamlet (ISSTA, 2006)

When only random testing will do. - Dick Hamlet (Random Testing, 2006)

Test-Based Specifications of Components and Systems. - Dick Hamlet (QSIC, 2007)

Software component composition: a subdomain-based testing-theory foundation. - Dick Hamlet (Softw. Test. Verification Reliab., 2007)

Practical ultra-reliability for abstract data types. - Borislav Nikolik; Dick Hamlet (Softw. Test. Verification Reliab., 2007)

Tools and experiments supporting a testing-based theory of component composition. - Dick Hamlet (ACM Trans. Softw. Eng. Methodol., 2009)

Subdomain (Partition) Testing. - Dick Hamlet (Encyclopedia of Software Engineering, 2010)

Science, Mathematics, Computer Science, Software Engineering. - Dick Hamlet (Comput. J., 2012)

Theory of Software Testing With Persistent State. - Dick Hamlet (IEEE Trans. Reliab., 2015)