Dick Hamlet - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2015

Theory of Software Testing With Persistent StateDick Hamlet. tr, 64(3):1098-1115, 2015. [doi]

2012

Science, Mathematics, Computer Science, Software EngineeringDick Hamlet. cj, 55(1):99-110, 2012. [doi]

2009

Tools and experiments supporting a testing-based theory of component compositionDick Hamlet. TOSEM, 18(3), 2009. [doi]

2007

Test-Based Specifications of Components and SystemsDick Hamlet. qsic 2007: 388-395 [doi]

Software component composition: a subdomain-based testing-theory foundationDick Hamlet. stvr, 17(4):243-269, 2007. [doi]

Practical ultra-reliability for abstract data typesBorislav Nikolik, Dick Hamlet. stvr, 17(3):183-203, 2007. [doi]

2006

On Formal Specification of Software Components and SystemsSharon Flynn, Dick Hamlet. ENTCS, 161:91-107, 2006. [doi]

Defining Predictable Assembly Dick Hamlet. cbse 2006: 320-327 [doi]

Subdomain testing of units and systems with stateDick Hamlet. ISSTA 2006: 85-96 [doi]

When only random testing will doDick Hamlet. ISSTA 2006: 1-9 [doi]

2005

Invariants and state in testing and formal methodsDick Hamlet. PASTE 2005: 48-51 [doi]

2003

Report on the ICSE 2003 Doctoral SymposiumDick Hamlet, Mary Lou Soffa. ICSE 2003: 762-766 [doi]

Report on the ICSE 2003 doctoral symposiumDick Hamlet. sigsoft, 28(4):27-28, 2003. [doi]

2002

Continuity in sofware systemsDick Hamlet. ISSTA 2002: 196-200 [doi]

2000

Mathematics, Computer Science, Software EngineeringDick Hamlet. ENTCS, 40:186, 2000. [doi]

1994

Connecting test coverage to software dependabilityDick Hamlet. issre 1994: 158-165 [doi]

1983

Debugging "level": step-wise debuggingDick Hamlet. SIGPLAN, 18(8):4-8, 1983. [doi]

Sign in or sign up to see more results.

runs on WebDSL