Daniel Hoffman

According to our database, Daniel Hoffman authored at least 51 papers between 1985 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

Towards a foundation for a collaborative replicable smart cities IoT architecture.

Alexander Nelson, Greg Toth, Daniel Hoffman, Cuong Nguyen, Sokwoo Rhee

Proceedings of the 2nd International Workshop on Science of Smart City Operations and Platforms Engineering, 2017

2016

The Scale2 Multi-Network Architecture for IoT-Based Resilient Communities.

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

Proceedings of the 2016 IEEE International Conference on Smart Computing, 2016

2015

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

2014

Toward a mature industrial practice of software test automation.

Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu

Softw. Qual. J., 2014

2011

Grammar-based test generation with YouGen.

Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang

Softw. Pract. Exp., 2011

Automated testing of industrial control devices: the delphi database.

Nate Kube, Kevin Yoo, Daniel Hoffman

Proceedings of the 6th International Workshop on Automation of Software Test, 2011

2010

Two case studies in grammar-based test generation.

Daniel Hoffman, Hong-Yi Wang, Mitch Chang, David Ly-Gagnon, Lewis Sobotkiewicz, Paul A. Strooper

J. Syst. Softw., 2010

Bad Pairs in Software Testing.

Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo

Proceedings of the Testing, 2010

2007

Range-free sensor localisation with ring overlapping based on comparison of received signal strength indicator.

Chong Liu, Tereus Scott, Kui Wu, Daniel Hoffman

Int. J. Sens. Networks, 2007

White Box Pairwise Test Case Generation.

Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

2006

Radio propagation patterns in wireless sensor networks: new experimental results.

Tereus Scott, Kui Wu, Daniel Hoffman

Proceedings of the International Conference on Wireless Communications and Mobile Computing, 2006

2005

Tool support for executable documentation of Java class hierarchies.

Daniel Hoffman, Paul A. Strooper, Sarah Wilkin

Softw. Test. Verification Reliab., 2005

Blowtorch: a framework for firewall test automation.

Daniel Hoffman, Kevin Yoo

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

PBit -- A Pattern-Based Testing Framework for iptables.

Yong Du, Daniel Hoffman

Proceedings of the 2nd Annual Conference on Communication Networks and Services Research (CNSR 2004), 2004

2003

Tool Support for Testing Concurrent Java Components.

Brad Long, Daniel Hoffman, Paul A. Strooper

IEEE Trans. Software Eng., 2003

API documentation with executable examples.

Daniel Hoffman, Paul A. Strooper

J. Syst. Softw., 2003

Testing iptables.

Daniel Hoffman, Durga Prabhakar, Paul A. Strooper

Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative Research, 2003

Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.

Jason McDonald, Paul A. Strooper, Daniel Hoffman

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003

2002

A framework for table driven testing of Java classes.

Nigel Daley, Daniel Hoffman, Paul A. Strooper

Softw. Pract. Exp., 2002

Data Coverage Testing of Programs for Container Classes.

Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

2001

A Concurrency Test Tool for Java Monitors.

Brad Long, Daniel Hoffman, Paul A. Strooper

Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

David L. Parnas Symposium.

Daniel Hoffman, David M. Weiss

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

State Generation and Automated Class Testing.

Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White

Softw. Test. Verification Reliab., 2000

Software product lines: a case study.

Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss

Softw. Pract. Exp., 2000

Prose + Test Cases = Specifications.

Daniel Hoffman, Paul A. Strooper

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

Tools and Techniques for Java API Testing.

Daniel Hoffman, Paul A. Strooper

Proceedings of the 12th Australian Software Engineering Conference (ASWEC 2000), 2000

1999

Boundary Values and Automated Component Testing.

Daniel Hoffman, Paul A. Strooper, Lee J. White

Softw. Test. Verification Reliab., 1999

1998

Commonality and Variability in Software Engineering.

James Coplien, Daniel Hoffman, David M. Weiss

IEEE Softw., 1998

Testing Generic Ada Packages with APE.

Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper

Proceedings of the ACM SIGAda Annual International Conference on Ada Technology, 1998

Programmatic Testing of the Standard Template Library Containers.

Jason McDonald, Daniel Hoffman, Paul A. Strooper

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

ClassBench: A Framework for Automated Class Testing.

Daniel Hoffman, Paul A. Strooper

Softw. Pract. Exp., 1997

1996

Teaching and Testing.

Daniel Hoffman, Paul A. Strooper, Peter Walsh

Proceedings of the Ninth Conference on Software Engineering Education, 1996

1995

The Testgraph Methodology: Automated Testing of Collection Classes.

Daniel Hoffman, Paul A. Strooper

J. Object Oriented Program., 1995

State Abstraction and Modular Software Development.

Daniel Hoffman, Paul A. Strooper

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Software design, automated testing, and maintenance - a practical approach.

Daniel Hoffman, Paul A. Strooper

International Thomson, ISBN: 978-1-85032-206-1, 1995

1994

Inspecting Module Interface Specifications.

Ann Jackson, Daniel Hoffman

Softw. Test. Verification Reliab., 1994

Graph-based Class Testing.

Daniel Hoffman, Paul A. Strooper

Aust. Comput. J., 1994

Testing the C set++ collection class library.

Daniel Hoffman, Xianhong Fang

Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

Automated class testing: methods and experience.

Daniel Hoffman, Jonathan Smillie, Paul A. Strooper

Proceedings of the First Asia-Pacific Software Engineering Conference, 1994

1993

A case study in class testing.

Daniel Hoffman, Paul A. Strooper

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992

Establishing the Fundamentals of Software Engineering.

Daniel Hoffman

Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992

On Teaching the Rational Desighn Process.

Daniel Hoffman, Terry Shepard

Proceedings of the Software Engineering Education, SEI Conference, 1992, Proceedings, 1992

1991

Automated Module Testing in Prolog.

Daniel Hoffman, Paul A. Strooper

IEEE Trans. Software Eng., 1991

Prolog Testing of C Modules.

Paul A. Strooper, Daniel Hoffman

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1990

On Criteria for Module Interfaces.

Daniel Hoffman

IEEE Trans. Software Eng., 1990

1989

Practical Interface Specification.

Daniel Hoffman

Softw. Pract. Exp., 1989

Module Test Case Generation.

Daniel Hoffman, C. Brealey

Proceedings of the ACM SIGSOFT '89 Third Symposium on Testing, Analysis, and Verification, 1989

A CASE study in module testing.

Daniel Hoffman

Proceedings of the Conference on Software Maintenance, 1989

1988

Trace Specifications: Methodology and Models.

Daniel Hoffman, Richard T. Snodgrass

IEEE Trans. Software Eng., 1988

An Undergraduate Course in Software Design.

Daniel Hoffman

Proceedings of the Software Engineering Education, 1988

1985

The Trace Specification of Communications Protocols.

Daniel Hoffman

IEEE Trans. Computers, 1985