Automated module testing in PrologHoffman, D.M.; Strooper, P. · 1991

Tool support for testing concurrent Java componentsLong, B.; Hoffman, D.; Strooper, P. · 2003

[IEEE Comput. Soc. Press 9th Conference on Software Engineering Education - Daytona Beach, FL, USA (21-24 April 1996)] Proceedings of 9th Conference on Software Engineering Education - Teaching and testingHoffman, D.; Strooper, P.; Walsh, P. · 1996

[IEEE Comput. Soc. Press 1st Asia-Pacific Software Engineering Conference - Tokyo, Japan (7-9 Dec. 1994)] Proceedings of 1st Asia-Pacific Software Engineering Conference - Automated class testing: methods and experienceHoffman, D.; Smillie, J.; Strooper, P. · 1994

[IEEE Comput. Soc 16th Annual International Conference on Automated Software Engineering (ASE 2001) - San Diego, CA, USA (26-29 Nov. 2001)] Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) - A concurrency test tool for Java monitorsLong, B.; Hoffman, D.; Strooper, P. · 2001

[IEEE Comput. Soc 13th IEEE International Conference on Automated Software Engineering - Honolulu, HI, USA (13-16 Oct. 1998)] Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239) - Programmatic testing of the Standard Template Library containersMcDonald, J.; Hoffman, D.; Strooper, P. · 1998

[IEEE Comput. Soc 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34 - Santa Barbara, CA, USA (30 July-4 Aug. 2000)] Proceedings. 34th International Conference on Technology of Object-Oriented Languages and Systems - TOOLS 34 - Prose+test cases=specificationsHoffman, D.; Strooper, P. · 2000