Dick Hamlet

According to our database1, Dick Hamlet authored at least 18 papers between 1983 and 2015.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2015
Theory of Software Testing With Persistent State.
IEEE Trans. Reliab., 2015

2012
Science, Mathematics, Computer Science, Software Engineering.
Comput. J., 2012

2010
Subdomain (Partition) Testing.
Proceedings of the Encyclopedia of Software Engineering, 2010

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

2007
Practical ultra-reliability for abstract data types.
Softw. Test. Verification Reliab., 2007

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

Test-Based Specifications of Components and Systems.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006
On Formal Specification of Software Components and Systems.
Electron. Notes Theor. Comput. Sci., 2006

When only random testing will do.
Proceedings of the 1st International Workshop on Random Testing, 2006

Subdomain testing of units and systems with state.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Defining "Predictable Assembly".
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
Invariants and state in testing and formal methods.
Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

2003
Report on the ICSE 2003 doctoral symposium.
ACM SIGSOFT Softw. Eng. Notes, 2003

Report on the ICSE 2003 Doctoral Symposium.
Proceedings of the 25th International Conference on Software Engineering, 2003

2002
Continuity in sofware systems.
Proceedings of the International Symposium on Software Testing and Analysis, 2002

2000
Mathematics, Computer Science, Software Engineering.
Electron. Notes Theor. Comput. Sci., 2000

1994
Connecting test coverage to software dependability.
Proceedings of the 5th International Symposium on Software Reliability Engineering, 1994

1983
Debugging "level": step-wise debugging.
ACM SIGPLAN Notices, 1983


  Loading...