The Trace Specification of Communications Protocols. - Daniel Hoffman (IEEE Trans. Computers, 1985)

An Undergraduate Course in Software Design. - Daniel Hoffman (CSEE, 1988)

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

A CASE study in module testing. - Daniel Hoffman (ICSM, 1989)

Module Test Case Generation. - Daniel Hoffman; C. Brealey (Symposium on Testing, Analysis, and Verification, 1989)

Practical Interface Specification. - Daniel Hoffman (Softw. Pract. Exp., 1989)

On Criteria for Module Interfaces. - Daniel Hoffman (IEEE Trans. Software Eng., 1990)

Prolog Testing of C Modules. - Paul A. Strooper; Daniel Hoffman (ISLP, 1991)

Automated Module Testing in Prolog. - Daniel Hoffman; Paul A. Strooper (IEEE Trans. Software Eng., 1991)

On Teaching the Rational Desighn Process. - Daniel Hoffman; Terry Shepard (CSEE, 1992)

Establishing the Fundamentals of Software Engineering. - Daniel Hoffman (Experimental Software Engineering Issues, 1992)

A case study in class testing. - Daniel Hoffman; Paul A. Strooper (CASCON, 1993)

Automated class testing: methods and experience. - Daniel Hoffman; Jonathan Smillie; Paul A. Strooper (APSEC, 1994)

Testing the C set++ collection class library. - Daniel Hoffman; Xianhong Fang (CASCON, 1994)

Graph-based Class Testing. - Daniel Hoffman; Paul A. Strooper (Aust. Comput. J., 1994)

Inspecting Module Interface Specifications. - Ann Jackson; Daniel Hoffman (Softw. Test. Verification Reliab., 1994)

Software design, automated testing, and maintenance - a practical approach. - Daniel Hoffman; Paul A. Strooper (International Thomson, 1995)

State Abstraction and Modular Software Development. - Daniel Hoffman; Paul A. Strooper (SIGSOFT FSE, 1995)

The Testgraph Methodology: Automated Testing of Collection Classes. - Daniel Hoffman; Paul A. Strooper (J. Object Oriented Program., 1995)

Teaching and Testing. - Daniel Hoffman; Paul A. Strooper; Peter Walsh (CSEE, 1996)

ClassBench: A Framework for Automated Class Testing. - Daniel Hoffman; Paul A. Strooper (Softw. Pract. Exp., 1997)

Programmatic Testing of the Standard Template Library Containers. - Jason McDonald; Daniel Hoffman; Paul A. Strooper (ASE, 1998)

Testing Generic Ada Packages with APE. - Daniel Hoffman; Jayakrishnan Nair; Paul A. Strooper (SIGAda, 1998)

Commonality and Variability in Software Engineering. - James Coplien; Daniel Hoffman; David M. Weiss (IEEE Softw., 1998)

Boundary Values and Automated Component Testing. - Daniel Hoffman; Paul A. Strooper; Lee J. White (Softw. Test. Verification Reliab., 1999)

Tools and Techniques for Java API Testing. - Daniel Hoffman; Paul A. Strooper (Australian Software Engineering Conference, 2000)

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

Software product lines: a case study. - Mark A. Ardis; Nigel Daley; Daniel Hoffman; Harvey P. Siy; David M. Weiss 001 (Softw. Pract. Exp., 2000)

State Generation and Automated Class Testing. - Thomas Ball 001; Daniel Hoffman; Frank Ruskey; Richard Webber; Lee J. White (Softw. Test. Verification Reliab., 2000)

David L. Parnas Symposium. - Daniel Hoffman; David M. Weiss (ICSE, 2001)

A Concurrency Test Tool for Java Monitors. - Brad Long; Daniel Hoffman; Paul A. Strooper (ASE, 2001)

Data Coverage Testing of Programs for Container Classes. - Ponrudee Netisopakul; Lee J. White; John Morris; Daniel Hoffman (ISSRE, 2002)

A framework for table driven testing of Java classes. - Nigel Daley; Daniel Hoffman; Paul A. Strooper (Softw. Pract. Exp., 2002)

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

Testing iptables. - Daniel Hoffman; Durga Prabhakar; Paul A. Strooper (CASCON, 2003)

API documentation with executable examples. - Daniel Hoffman; Paul A. Strooper (J. Syst. Softw., 2003)

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

PBit – A Pattern-Based Testing Framework for iptables. - Yong Du; Daniel Hoffman (CNSR, 2004)

Blowtorch: a framework for firewall test automation. - Daniel Hoffman; Kevin Yoo (ASE, 2005)

Tool support for executable documentation of Java class hierarchies. - Daniel Hoffman; Paul A. Strooper; Sarah Wilkin (Softw. Test. Verification Reliab., 2005)

Radio propagation patterns in wireless sensor networks: new experimental results. - Tereus Scott; Kui Wu 001; Daniel Hoffman (IWCMC, 2006)

White Box Pairwise Test Case Generation. - Jangbok Kim; Kyunghee Choi; Daniel Hoffman; Gihyun Jung (QSIC, 2007)

Range-free sensor localisation with ring overlapping based on comparison of received signal strength indicator. - Chong Liu 001; Tereus Scott; Kui Wu 001; Daniel Hoffman (Int. J. Sens. Networks, 2007)

Bad Pairs in Software Testing. - Daniel Hoffman; Chien Chang; Gary Bazdell; Brett Stevens; Kevin Yoo (TAIC PART, 2010)

Two case studies in grammar-based test generation. - Daniel Hoffman; Hong-Yi Wang 012; Mitch Chang; David Ly-Gagnon; Lewis Sobotkiewicz; Paul A. Strooper (J. Syst. Softw., 2010)

Automated testing of industrial control devices: the delphi database. - Nate Kube; Kevin Yoo; Daniel Hoffman (AST, 2011)

Grammar-based test generation with YouGen. - Daniel Hoffman; David Ly-Gagnon; Paul A. Strooper; Hong-Yi Wang 012 (Softw. Pract. Exp., 2011)

Toward a mature industrial practice of software test automation. - Hong Zhu 002; Daniel Hoffman; John Hughes 001; Dianxiang Xu (Softw. Qual. J., 2014)

SCALE: Safe community awareness and ale rting leveraging the internet of things. - Kyle E. Benson; Charles Fracchia; Guoxi Wang; Qiuxi Zhu; Serene Almomen; John Cohn; Luke D'arcy; Daniel Hoffman; Matthew Makai; Julien Stamatakis; Nalini Venkatasubramanian (IEEE Commun. Mag., 2015)

The Scale2 Multi-Network Architecture for IoT-Based Resilient Communities. - Md. Yusuf Sarwar Uddin; Alexander Nelson 001; Kyle E. Benson; Guoxi Wang; Qiuxi Zhu; Qing Han; Nailah Alhassoun; Prakash Chakravarthi; Julien Stamatakis; Daniel Hoffman; Luke D'arcy; Nalini Venkatasubramanian (SMARTCOMP, 2016)

Towards a foundation for a collaborative replicable smart cities IoT architecture. - Alexander Nelson 001; Greg Toth; Daniel Hoffman; Cuong Nguyen 004; Sokwoo Rhee (SCOPE@CPSWeek, 2017)