Daniel Hoffman

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