| |
| 2007 | ||
|---|---|---|
| 12 | EE | Dick Hamlet: Test-Based Specifications of Components and Systems. QSIC 2007: 388-395 |
| 11 | EE | Borislav Nikolik, Dick Hamlet: Practical ultra-reliability for abstract data types. Softw. Test., Verif. Reliab. 17(3): 183-203 (2007) |
| 10 | EE | Dick Hamlet: Software component composition: a subdomain-based testing-theory foundation. Softw. Test., Verif. Reliab. 17(4): 243-269 (2007) |
| 2006 | ||
| 9 | EE | Dick Hamlet: Defining "Predictable Assembly". CBSE 2006: 320-327 |
| 8 | EE | Dick Hamlet: Subdomain testing of units and systems with state. ISSTA 2006: 85-96 |
| 7 | EE | Dick Hamlet: When only random testing will do. Random Testing 2006: 1-9 |
| 6 | EE | Sharon Flynn, Dick Hamlet: On Formal Specification of Software Components and Systems. Electr. Notes Theor. Comput. Sci. 161: 91-107 (2006) |
| 2005 | ||
| 5 | EE | Dick Hamlet: Invariants and state in testing and formal methods. PASTE 2005: 48-51 |
| 2003 | ||
| 4 | EE | Dick Hamlet, Mary Lou Soffa: Report on the ICSE 2003 Doctoral Symposium. ICSE 2003: 762-766 |
| 3 | EE | Dick Hamlet: Report on the ICSE 2003 doctoral symposium. ACM SIGSOFT Software Engineering Notes 28(4): 27-28 (2003) |
| 2002 | ||
| 2 | EE | Dick Hamlet: Continuity in sofware systems. ISSTA 2002: 196-200 |
| 2000 | ||
| 1 | EE | Dick Hamlet: Mathematics, Computer Science, Software Engineering. Electr. Notes Theor. Comput. Sci. 40: (2000) |
| 1 | Sharon Flynn | [6] |
| 2 | Borislav Nikolik | [11] |
| 3 | Mary Lou Soffa | [4] |