default search action
Daniel Hoffman
Person information
- affiliation: University of Victoria, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
- [c28]Alexander Nelson, Greg Toth, Daniel Hoffman, Cuong Nguyen
, Sokwoo Rhee:
Towards a foundation for a collaborative replicable smart cities IoT architecture. SCOPE@CPSWeek 2017: 63-68 - 2016
- [c27]Md. Yusuf Sarwar Uddin
The Scale2 Multi-Network Architecture for IoT-Based Resilient Communities. SMARTCOMP 2016: 1-8 - 2015
- [j22]Kyle E. Benson, Charles Fracchia, Guoxi Wang, Qiuxi Zhu
SCALE: Safe community awareness and ale rting leveraging the internet of things. IEEE Commun. Mag. 53(12): 27-34 (2015) - 2014
- [j21]Hong Zhu, Daniel Hoffman, John Hughes, Dianxiang Xu:
Toward a mature industrial practice of software test automation. Softw. Qual. J. 22(2): 239-240 (2014) - 2012
- [e1]Daniel Hoffman, John Hughes, Dianxiang Xu:
7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1821-1 [contents] - 2011
- [j20]Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper
Grammar-based test generation with YouGen. Softw. Pract. Exp. 41(4): 427-447 (2011) - [c26]Nate Kube, Kevin Yoo, Daniel Hoffman:
Automated testing of industrial control devices: the delphi database. AST 2011: 71-76 - 2010
- [j19]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): 2369-2378 (2010) - [c25]Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo:
Bad Pairs in Software Testing. TAIC PART 2010: 39-55
2000 – 2009
- 2007
- [j18]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): 399-413 (2007) - [c24]Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung:
White Box Pairwise Test Case Generation. QSIC 2007: 286-291 - 2006
- [c23]Tereus Scott, Kui Wu, Daniel Hoffman:
Radio propagation patterns in wireless sensor networks: new experimental results. IWCMC 2006: 857-862 - 2005
- [j17]Daniel Hoffman, Paul A. Strooper
Tool support for executable documentation of Java class hierarchies. Softw. Test. Verification Reliab. 15(4): 235-256 (2005) - [c22]Daniel Hoffman, Kevin Yoo:
Blowtorch: a framework for firewall test automation. ASE 2005: 96-103 - 2004
- [c21]Yong Du, Daniel Hoffman:
PBit -- A Pattern-Based Testing Framework for iptables. CNSR 2004: 107-112 - 2003
- [j16]Daniel Hoffman, Paul A. Strooper
API documentation with executable examples. J. Syst. Softw. 66(2): 143-156 (2003) - [j15]Brad Long
Tool Support for Testing Concurrent Java Components. IEEE Trans. Software Eng. 29(6): 555-566 (2003) - [c20]Jason McDonald, Paul A. Strooper, Daniel Hoffman:
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. APSEC 2003: 322-331 - [c19]Daniel Hoffman, Durga Prabhakar, Paul A. Strooper:
Testing iptables. CASCON 2003: 80-91 - 2002
- [j14]Nigel Daley, Daniel Hoffman, Paul A. Strooper
A framework for table driven testing of Java classes. Softw. Pract. Exp. 32(5): 465-493 (2002) - [c18]Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman:
Data Coverage Testing of Programs for Container Classes. ISSRE 2002: 183-194 - 2001
- [c17]Daniel Hoffman, David M. Weiss:
David L. Parnas Symposium. ICSE 2001: 807-809 - [c16]Brad Long
A Concurrency Test Tool for Java Monitors. ASE 2001: 421-425 - 2000
- [j13]Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss:
Software product lines: a case study. Softw. Pract. Exp. 30(7): 825-847 (2000) - [j12]Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White:
State Generation and Automated Class Testing. Softw. Test. Verification Reliab. 10(3): 149-170 (2000) - [c15]Daniel Hoffman, Paul A. Strooper:
Tools and Techniques for Java API Testing. Australian Software Engineering Conference 2000: 235-246 - [c14]Daniel Hoffman, Paul A. Strooper:
Prose + Test Cases = Specifications. TOOLS (34) 2000: 239-
1990 – 1999
- 1999
- [j11]Daniel Hoffman, Paul A. Strooper, Lee J. White:
Boundary Values and Automated Component Testing. Softw. Test. Verification Reliab. 9(1): 3-26 (1999) - 1998
- [j10]James Coplien, Daniel Hoffman, David M. Weiss:
Commonality and Variability in Software Engineering. IEEE Softw. 15(6): 37-45 (1998) - [c13]Jason McDonald, Daniel Hoffman, Paul A. Strooper:
Programmatic Testing of the Standard Template Library Containers. ASE 1998: 147-156 - [c12]Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper:
Testing Generic Ada Packages with APE. SIGAda 1998: 255-262 - 1997
- [j9]Daniel Hoffman, Paul A. Strooper:
ClassBench: A Framework for Automated Class Testing. Softw. Pract. Exp. 27(5): 573-597 (1997) - 1996
- [c11]Daniel Hoffman, Paul A. Strooper, Peter Walsh:
Teaching and Testing. CSEE 1996: 248-258 - 1995
- [b1]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 - [j8]Daniel Hoffman, Paul A. Strooper:
The Testgraph Methodology: Automated Testing of Collection Classes. J. Object Oriented Program. 8(7): 35-41 (1995) - [c10]Daniel Hoffman, Paul A. Strooper:
State Abstraction and Modular Software Development. SIGSOFT FSE 1995: 53-61 - 1994
- [j7]Daniel Hoffman, Paul A. Strooper:
Graph-based Class Testing. Aust. Comput. J. 26(4): 158-163 (1994) - [j6]Ann Jackson, Daniel Hoffman:
Inspecting Module Interface Specifications. Softw. Test. Verification Reliab. 4(2): 101-117 (1994) - [c9]Daniel Hoffman, Jonathan Smillie, Paul A. Strooper:
Automated class testing: methods and experience. APSEC 1994: 163-171 - [c8]Daniel Hoffman, Xianhong Fang:
Testing the C set++ collection class library. CASCON 1994: 26 - 1993
- [c7]Daniel Hoffman, Paul A. Strooper:
A case study in class testing. CASCON 1993: 472-482 - 1992
- [c6]Daniel Hoffman, Terry Shepard:
On Teaching the Rational Desighn Process. CSEE 1992: 44-62 - [c5]Daniel Hoffman:
Establishing the Fundamentals of Software Engineering. Experimental Software Engineering Issues 1992: 171-172 - 1991
- [j5]Daniel Hoffman, Paul A. Strooper
Automated Module Testing in Prolog. IEEE Trans. Software Eng. 17(9): 934-943 (1991) - [c4]Paul A. Strooper, Daniel Hoffman:
Prolog Testing of C Modules. ISLP 1991: 596-608 - 1990
- [j4]Daniel Hoffman:
On Criteria for Module Interfaces. IEEE Trans. Software Eng. 16(5): 537-542 (1990)
1980 – 1989
- 1989
- [j3]Daniel Hoffman:
Practical Interface Specification. Softw. Pract. Exp. 19(2): 127-148 (1989) - [c3]Daniel Hoffman:
A CASE study in module testing. ICSM 1989: 100-105 - [c2]Daniel Hoffman, C. Brealey:
Module Test Case Generation. Symposium on Testing, Analysis, and Verification 1989: 97-102 - 1988
- [j2]Daniel Hoffman, Richard T. Snodgrass:
Trace Specifications: Methodology and Models. IEEE Trans. Software Eng. 14(9): 1243-1252 (1988) - [c1]Daniel Hoffman:
An Undergraduate Course in Software Design. CSEE 1988: 154-168 - 1985
- [j1]Daniel Hoffman:
The Trace Specification of Communications Protocols. IEEE Trans. Computers 34(12): 1102-1113 (1985)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: