Daniel Hoffman

Publication Activity (10 Years)

Years Active: 1985-2017
Publications (10 Years): 2

Top Topics

Network Architecture

Biologically Plausible

Top Venues

Softw. Qual. J.

IEEE Commun. Mag.

Publications

Alexander Nelson, Greg Toth, Daniel Hoffman, Cuong Nguyen, Sokwoo Rhee
Towards a foundation for a collaborative replicable smart cities IoT architecture. SCOPE@CPSWeek (2017)
Md. Yusuf Sarwar Uddin, Alexander Nelson, Kyle E. Benson, Guoxi Wang, Qiuxi Zhu, Qing Han, Nailah Alhassoun, Prakash Chakravarthi, Julien Stamatakis, Daniel Hoffman, Luke D'arcy, Nalini Venkatasubramanian
The Scale2 Multi-Network Architecture for IoT-Based Resilient Communities. SMARTCOMP (2016)
Kyle E. Benson, Charles Fracchia, Guoxi Wang, Qiuxi Zhu, Serene Almomen, John Cohn, Luke D'arcy, Daniel Hoffman, Matthew Makai, Julien Stamatakis, Nalini Venkatasubramanian
SCALE: Safe community awareness and ale rting leveraging the internet of things. IEEE Commun. Mag. 53 (12) (2015)
Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu
Toward a mature industrial practice of software test automation. Softw. Qual. J. 22 (2) (2014)
Nate Kube, Kevin Yoo, Daniel Hoffman
Automated testing of industrial control devices: the delphi database. AST (2011)
Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang
Grammar-based test generation with YouGen. Softw. Pract. Exp. 41 (4) (2011)
Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul A. Strooper
Two case studies in grammar-based test generation. J. Syst. Softw. 83 (12) (2010)
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo
Bad Pairs in Software Testing. TAIC PART (2010)
Chong Liu, Tereus Scott, Kui Wu, Daniel Hoffman
Range-free sensor localisation with ring overlapping based on comparison of received signal strength indicator. Int. J. Sens. Networks 2 (5/6) (2007)
Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung
White Box Pairwise Test Case Generation. QSIC (2007)
Tereus Scott, Kui Wu, Daniel Hoffman
Radio propagation patterns in wireless sensor networks: new experimental results. IWCMC (2006)
Daniel Hoffman, Kevin Yoo
Blowtorch: a framework for firewall test automation. ASE (2005)
Daniel Hoffman, Paul A. Strooper, Sarah Wilkin
Tool support for executable documentation of Java class hierarchies. Softw. Test. Verification Reliab. 15 (4) (2005)
Yong Du, Daniel Hoffman
PBit -- A Pattern-Based Testing Framework for iptables. CNSR (2004)
Daniel Hoffman, Paul A. Strooper
API documentation with executable examples. J. Syst. Softw. 66 (2) (2003)
Jason McDonald, Paul A. Strooper, Daniel Hoffman
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. APSEC (2003)
Brad Long, Daniel Hoffman, Paul A. Strooper
Tool Support for Testing Concurrent Java Components. IEEE Trans. Software Eng. 29 (6) (2003)
Daniel Hoffman, Durga Prabhakar, Paul A. Strooper
Testing iptables. CASCON (2003)
Nigel Daley, Daniel Hoffman, Paul A. Strooper
A framework for table driven testing of Java classes. Softw. Pract. Exp. 32 (5) (2002)
Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman
Data Coverage Testing of Programs for Container Classes. ISSRE (2002)
Brad Long, Daniel Hoffman, Paul A. Strooper
A Concurrency Test Tool for Java Monitors. ASE (2001)
Daniel Hoffman, David M. Weiss
David L. Parnas Symposium. ICSE (2001)
Daniel Hoffman, Paul A. Strooper
Tools and Techniques for Java API Testing. Australian Software Engineering Conference (2000)
Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White
State Generation and Automated Class Testing. Softw. Test. Verification Reliab. 10 (3) (2000)
Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss
Software product lines: a case study. Softw. Pract. Exp. 30 (7) (2000)
Daniel Hoffman, Paul A. Strooper
Prose + Test Cases = Specifications. TOOLS (34) (2000)
Daniel Hoffman, Paul A. Strooper, Lee J. White
Boundary Values and Automated Component Testing. Softw. Test. Verification Reliab. 9 (1) (1999)
James Coplien, Daniel Hoffman, David M. Weiss
Commonality and Variability in Software Engineering. IEEE Softw. 15 (6) (1998)
Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper
Testing Generic Ada Packages with APE. SIGAda (1998)
Jason McDonald, Daniel Hoffman, Paul A. Strooper
Programmatic Testing of the Standard Template Library Containers. ASE (1998)
Daniel Hoffman, Paul A. Strooper
ClassBench: A Framework for Automated Class Testing. Softw. Pract. Exp. 27 (5) (1997)
Daniel Hoffman, Paul A. Strooper, Peter Walsh
Teaching and Testing. CSEE (1996)
Daniel Hoffman, Paul A. Strooper
State Abstraction and Modular Software Development. SIGSOFT FSE (1995)
Daniel Hoffman, Paul A. Strooper
The Testgraph Methodology: Automated Testing of Collection Classes. J. Object Oriented Program. 8 (7) (1995)
Ann Jackson, Daniel Hoffman
Inspecting Module Interface Specifications. Softw. Test. Verification Reliab. 4 (2) (1994)
Daniel Hoffman, Xianhong Fang
Testing the C set++ collection class library. CASCON (1994)
Daniel Hoffman, Paul A. Strooper
Graph-based Class Testing. Aust. Comput. J. 26 (4) (1994)
Daniel Hoffman, Jonathan Smillie, Paul A. Strooper
Automated class testing: methods and experience. APSEC (1994)
Daniel Hoffman, Paul A. Strooper
A case study in class testing. CASCON (1993)
Daniel Hoffman
Establishing the Fundamentals of Software Engineering. Experimental Software Engineering Issues (1992)
Daniel Hoffman, Terry Shepard
On Teaching the Rational Desighn Process. CSEE (1992)
Daniel Hoffman, Paul A. Strooper
Automated Module Testing in Prolog. IEEE Trans. Software Eng. 17 (9) (1991)
Paul A. Strooper, Daniel Hoffman
Prolog Testing of C Modules. ISLP (1991)
Daniel Hoffman
On Criteria for Module Interfaces. IEEE Trans. Software Eng. 16 (5) (1990)
Daniel Hoffman, C. Brealey
Module Test Case Generation. Symposium on Testing, Analysis, and Verification (1989)
Daniel Hoffman
Practical Interface Specification. Softw. Pract. Exp. 19 (2) (1989)
Daniel Hoffman
A CASE study in module testing. ICSM (1989)
Daniel Hoffman, Richard T. Snodgrass
Trace Specifications: Methodology and Models. IEEE Trans. Software Eng. 14 (9) (1988)
Daniel Hoffman
An Undergraduate Course in Software Design. CSEE (1988)
Daniel Hoffman
The Trace Specification of Communications Protocols. IEEE Trans. Computers 34 (12) (1985)