Daniel Hoffman

Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang: Grammar-based test generation with YouGen. Softw., Pract. Exper. 41(4): 427-447 (2011)

Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul A. Strooper: Two case studies in grammar-based test generation. Journal of Systems and Software 83(12): 2369-2378 (2010)

Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo: Bad Pairs in Software Testing. TAIC PART 2010: 39-55

Chong Liu, Tereus Scott, Kui Wu, Daniel Hoffman: Range-free sensor localisation with ring overlapping based on comparison of received signal strength indicator. IJSNet 2(5/6): 399-413 (2007)

Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung: White Box Pairwise Test Case Generation. QSIC 2007: 286-291

Tereus Scott, Kui Wu, Daniel Hoffman: Radio propagation patterns in wireless sensor networks: new experimental results. IWCMC 2006: 857-862

Daniel Hoffman, Paul A. Strooper, Sarah Wilkin: Tool support for executable documentation of Java class hierarchies. Softw. Test., Verif. Reliab. 15(4): 235-256 (2005)

Daniel Hoffman, Kevin Yoo: Blowtorch: a framework for firewall test automation. ASE 2005: 96-103

Yong Du, Daniel Hoffman: PBit -- A Pattern-Based Testing Framework for iptables. CNSR 2004: 107-112

Daniel Hoffman, Paul A. Strooper: API documentation with executable examples. Journal of Systems and Software 66(2): 143-156 (2003)

Brad Long, Daniel Hoffman, Paul A. Strooper: Tool Support for Testing Concurrent Java Components. IEEE Trans. Software Eng. 29(6): 555-566 (2003)

Jason McDonald, Paul A. Strooper, Daniel Hoffman: Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. APSEC 2003: 322-331

Daniel Hoffman, Durga Prabhakar, Paul A. Strooper: Testing iptables. CASCON 2003: 80-91

Nigel Daley, Daniel Hoffman, Paul A. Strooper: A framework for table driven testing of Java classes. Softw., Pract. Exper. 32(5): 465-493 (2002)

Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman: Data Coverage Testing of Programs for Container Classes. ISSRE 2002: 183-194

Daniel Hoffman, David M. Weiss: David L. Parnas Symposium. ICSE 2001: 807-809

Brad Long, Daniel Hoffman, Paul A. Strooper: A Concurrency Test Tool for Java Monitors. ASE 2001: 421-425

Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss: Software product lines: a case study. Softw., Pract. Exper. 30(7): 825-847 (2000)

Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White: State Generation and Automated Class Testing. Softw. Test., Verif. Reliab. 10(3): 149-170 (2000)

Daniel Hoffman, Paul A. Strooper: Tools and Techniques for Java API Testing. Australian Software Engineering Conference 2000: 235-246

Daniel Hoffman, Paul A. Strooper: Prose + Test Cases = Specifications. TOOLS (34) 2000: 239-

Daniel Hoffman, Paul A. Strooper, Lee J. White: Boundary Values and Automated Component Testing. Softw. Test., Verif. Reliab. 9(1): 3-26 (1999)

James Coplien, Daniel Hoffman, David M. Weiss: Commonality and Variability in Software Engineering. IEEE Software 15(6): 37-45 (1998)

Jason McDonald, Daniel Hoffman, Paul A. Strooper: Programmatic Testing of the Standard Template Library Containers. ASE 1998: 147-156

Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper: Testing Generic Ada Packages with APE. SIGAda 1998: 255-262

Daniel Hoffman, Paul A. Strooper: ClassBench: A Framework for Automated Class Testing. Softw., Pract. Exper. 27(5): 573-597 (1997)

Daniel Hoffman, Paul A. Strooper: Software design, automated testing, and maintenance - a practical approach. International Thomson 1995, isbn 978-1-85032-206-1, pp. I-XIX, 1-399

Daniel Hoffman, Paul A. Strooper: The Testgraph Methodology: Automated Testing of Collection Classes. JOOP 8(7): 35-41 (1995)

Daniel Hoffman, Paul A. Strooper: State Abstraction and Modular Software Development. SIGSOFT FSE 1995: 53-61

Daniel Hoffman, Paul A. Strooper: Graph-based Class Testing. Australian Computer Journal 26(4): 158-163 (1994)

Ann Jackson, Daniel Hoffman: Inspecting Module Interface Specifications. Softw. Test., Verif. Reliab. 4(2): 101-117 (1994)

Daniel Hoffman, Xianhong Fang: Testing the C set++ collection class library. CASCON 1994: 26

Daniel Hoffman, Paul A. Strooper: A case study in class testing. CASCON 1993: 472-482

Daniel Hoffman, Terry Shepard: On Teaching the Rational Desighn Process. CSEE 1992: 44-62

Daniel Hoffman: Establishing the Fundamentals of Software Engineering. Experimental Software Engineering Issues 1992: 171-172

Daniel Hoffman, Paul A. Strooper: Automated Module Testing in Prolog. IEEE Trans. Software Eng. 17(9): 934-943 (1991)

Paul A. Strooper, Daniel Hoffman: Prolog Testing of C Modules. ISLP 1991: 596-608

Daniel Hoffman: On Criteria for Module Interfaces. IEEE Trans. Software Eng. 16(5): 537-542 (1990)

Daniel Hoffman: Practical Interface Specification. Softw., Pract. Exper. 19(2): 127-148 (1989)

Daniel Hoffman, C. Brealey: Module Test Case Generation. Symposium on Testing, Analysis, and Verification 1989: 97-102

Daniel Hoffman, Richard T. Snodgrass: Trace Specifications: Methodology and Models. IEEE Trans. Software Eng. 14(9): 1243-1252 (1988)

Daniel Hoffman: An Undergraduate Course in Software Design. CSEE 1988: 154-168

Daniel Hoffman: The Trace Specification of Communications Protocols. IEEE Trans. Computers 34(12): 1102-1113 (1985)