Dick Hamlet

Publication Activity (10 Years)

Years Active: 1983-2015
Publications (10 Years): 1

Top Topics

Software Testing

Software Engineering

Information Science

Test Case Generation

Top Venues

IEEE Trans. Reliab.

Publications

Dick Hamlet
Theory of Software Testing With Persistent State. IEEE Trans. Reliab. 64 (3) (2015)
Dick Hamlet
Science, Mathematics, Computer Science, Software Engineering. Comput. J. 55 (1) (2012)
Dick Hamlet
Tools and experiments supporting a testing-based theory of component composition. ACM Trans. Softw. Eng. Methodol. 18 (3) (2009)
Dick Hamlet
Software component composition: a subdomain-based testing-theory foundation. Softw. Test. Verification Reliab. 17 (4) (2007)
Dick Hamlet
Test-Based Specifications of Components and Systems. QSIC (2007)
Borislav Nikolik, Dick Hamlet
Practical ultra-reliability for abstract data types. Softw. Test. Verification Reliab. 17 (3) (2007)
Dick Hamlet
Defining "Predictable Assembly". CBSE (2006)
Dick Hamlet
Subdomain testing of units and systems with state. ISSTA (2006)
Dick Hamlet
When only random testing will do. Random Testing (2006)
Sharon Flynn, Dick Hamlet
On Formal Specification of Software Components and Systems. Electron. Notes Theor. Comput. Sci. 161 (2006)
Dick Hamlet
Invariants and state in testing and formal methods. PASTE (2005)
Dick Hamlet
Report on the ICSE 2003 doctoral symposium. ACM SIGSOFT Softw. Eng. Notes 28 (4) (2003)
Dick Hamlet, Mary Lou Soffa
Report on the ICSE 2003 Doctoral Symposium. ICSE (2003)
Dick Hamlet
Continuity in sofware systems. ISSTA (2002)
Dick Hamlet
Mathematics, Computer Science, Software Engineering. Electron. Notes Theor. Comput. Sci. 40 (2000)
Dick Hamlet
Connecting test coverage to software dependability. ISSRE (1994)
Dick Hamlet
Debugging "level": step-wise debugging. SIGSOFT (1983)