Dick Hamlet

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