 | 2011 |
|---|
| 43 |       | Daniel Hoffman,
David Ly-Gagnon,
Paul A. Strooper,
Hong-Yi Wang:
Grammar-based test generation with YouGen.
Softw., Pract. Exper. 41(4): 427-447 (2011) |
| 2010 |
|---|
| 42 | | Daniel Hoffman,
Chien Chang,
Gary Bazdell,
Brett Stevens,
Kevin Yoo:
Bad Pairs in Software Testing.
TAIC PART 2010: 39-55 |
| 41 | | Daniel Hoffman,
Hong-Yi Wang,
Mitch Chang,
David Ly-Gagnon,
Lewis Sobotkiewicz,
Paul A. Strooper:
Two case studies in grammar-based test generation.
Journal of Systems and Software 83(12): 2369-2378 (2010) |
| 2007 |
|---|
| 40 | | Jangbok Kim,
Kyunghee Choi,
Daniel Hoffman,
Gihyun Jung:
White Box Pairwise Test Case Generation.
QSIC 2007: 286-291 |
| 39 | | Chong Liu,
Tereus Scott,
Kui Wu,
Daniel Hoffman:
Range-free sensor localisation with ring overlapping based on comparison of received signal strength indicator.
IJSNet 2(5/6): 399-413 (2007) |
| 2006 |
|---|
| 38 | | Tereus Scott,
Kui Wu,
Daniel Hoffman:
Radio propagation patterns in wireless sensor networks: new experimental results.
IWCMC 2006: 857-862 |
| 2005 |
|---|
| 37 | | Daniel Hoffman,
Kevin Yoo:
Blowtorch: a framework for firewall test automation.
ASE 2005: 96-103 |
| 36 | | Daniel Hoffman,
Paul A. Strooper,
Sarah Wilkin:
Tool support for executable documentation of Java class hierarchies.
Softw. Test., Verif. Reliab. 15(4): 235-256 (2005) |
| 2004 |
|---|
| 35 | | Yong Du,
Daniel Hoffman:
PBit -- A Pattern-Based Testing Framework for iptables.
CNSR 2004: 107-112 |
| 2003 |
|---|
| 34 | | Jason McDonald,
Paul A. Strooper,
Daniel Hoffman:
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.
APSEC 2003: 322-331 |
| 33 | | Daniel Hoffman,
Durga Prabhakar,
Paul A. Strooper:
Testing iptables.
CASCON 2003: 80-91 |
| 32 | | Brad Long,
Daniel Hoffman,
Paul A. Strooper:
Tool Support for Testing Concurrent Java Components.
IEEE Trans. Software Eng. 29(6): 555-566 (2003) |
| 31 | | Daniel Hoffman,
Paul A. Strooper:
API documentation with executable examples.
Journal of Systems and Software 66(2): 143-156 (2003) |
| 2002 |
|---|
| 30 | | Ponrudee Netisopakul,
Lee J. White,
John Morris,
Daniel Hoffman:
Data Coverage Testing of Programs for Container Classes.
ISSRE 2002: 183-194 |
| 29 | | Nigel Daley,
Daniel Hoffman,
Paul A. Strooper:
A framework for table driven testing of Java classes.
Softw., Pract. Exper. 32(5): 465-493 (2002) |
| 2001 |
|---|
| 28 | | Brad Long,
Daniel Hoffman,
Paul A. Strooper:
A Concurrency Test Tool for Java Monitors.
ASE 2001: 421-425 |
| 27 | | Daniel Hoffman,
David M. Weiss:
David L. Parnas Symposium.
ICSE 2001: 807-809 |
| 2000 |
|---|
| 26 | | Daniel Hoffman,
Paul A. Strooper:
Tools and Techniques for Java API Testing.
Australian Software Engineering Conference 2000: 235-246 |
| 25 | | Daniel Hoffman,
Paul A. Strooper:
Prose + Test Cases = Specifications.
TOOLS (34) 2000: 239- |
| 24 | | Thomas Ball,
Daniel Hoffman,
Frank Ruskey,
Richard Webber,
Lee J. White:
State Generation and Automated Class Testing.
Softw. Test., Verif. Reliab. 10(3): 149-170 (2000) |
| 23 | | Mark A. Ardis,
Nigel Daley,
Daniel Hoffman,
Harvey P. Siy,
David M. Weiss:
Software product lines: a case study.
Softw., Pract. Exper. 30(7): 825-847 (2000) |
| 1999 |
|---|
| 22 | | Daniel Hoffman,
Paul A. Strooper,
Lee J. White:
Boundary Values and Automated Component Testing.
Softw. Test., Verif. Reliab. 9(1): 3-26 (1999) |
| 1998 |
|---|
| 21 | | Jason McDonald,
Daniel Hoffman,
Paul A. Strooper:
Programmatic Testing of the Standard Template Library Containers.
ASE 1998: 147-156 |
| 20 | | Daniel Hoffman,
Jayakrishnan Nair,
Paul A. Strooper:
Testing Generic Ada Packages with APE.
SIGAda 1998: 255-262 |
| 19 | | James Coplien,
Daniel Hoffman,
David M. Weiss:
Commonality and Variability in Software Engineering.
IEEE Software 15(6): 37-45 (1998) |
| 1997 |
|---|
| 18 | | Daniel Hoffman,
Paul A. Strooper:
ClassBench: A Framework for Automated Class Testing.
Softw., Pract. Exper. 27(5): 573-597 (1997) |
| 1995 |
|---|
| 17 |  | Daniel Hoffman,
Paul A. Strooper:
Software design, automated testing, and maintenance - a practical approach.
International Thomson 1995: I-XIX, 1-399 |
| 16 | | Daniel Hoffman,
Paul A. Strooper:
State Abstraction and Modular Software Development.
SIGSOFT FSE 1995: 53-61 |
| 15 | | Daniel Hoffman,
Paul A. Strooper:
The Testgraph Methodology: Automated Testing of Collection Classes.
JOOP 8(7): 35-41 (1995) |
| 1994 |
|---|
| 14 | | Daniel Hoffman,
Xianhong Fang:
Testing the C set++ collection class library.
CASCON 1994: 26 |
| 13 | | Daniel Hoffman,
Paul A. Strooper:
Graph-based Class Testing.
Australian Computer Journal 26(4): 158-163 (1994) |
| 12 | | Ann Jackson,
Daniel Hoffman:
Inspecting Module Interface Specifications.
Softw. Test., Verif. Reliab. 4(2): 101-117 (1994) |
| 1993 |
|---|
| 11 | | Daniel Hoffman,
Paul A. Strooper:
A case study in class testing.
CASCON 1993: 472-482 |
| 1992 |
|---|
| 10 | | Daniel Hoffman,
Terry Shepard:
On Teaching the Rational Desighn Process.
CSEE 1992: 44-62 |
| 9 | | Daniel Hoffman:
Establishing the Fundamentals of Software Engineering.
Experimental Software Engineering Issues 1992: 171-172 |
| 1991 |
|---|
| 8 | | Paul A. Strooper,
Daniel Hoffman:
Prolog Testing of C Modules.
ISLP 1991: 596-608 |
| 7 | | Daniel Hoffman,
Paul A. Strooper:
Automated Module Testing in Prolog.
IEEE Trans. Software Eng. 17(9): 934-943 (1991) |
| 1990 |
|---|
| 6 | | Daniel Hoffman:
On Criteria for Module Interfaces.
IEEE Trans. Software Eng. 16(5): 537-542 (1990) |
| 1989 |
|---|
| 5 | | Daniel Hoffman,
C. Brealey:
Module Test Case Generation.
Symposium on Testing, Analysis, and Verification 1989: 97-102 |
| 4 | | Daniel Hoffman:
Practical Interface Specification.
Softw., Pract. Exper. 19(2): 127-148 (1989) |
| 1988 |
|---|
| 3 | | Daniel Hoffman:
An Undergraduate Course in Software Design.
CSEE 1988: 154-168 |
| 2 | | Daniel Hoffman,
Richard T. Snodgrass:
Trace Specifications: Methodology and Models.
IEEE Trans. Software Eng. 14(9): 1243-1252 (1988) |
| 1985 |
|---|
| 1 | | Daniel Hoffman:
The Trace Specification of Communications Protocols.
IEEE Trans. Computers 34(12): 1102-1113 (1985) |
Data released under the ODC-BY 1.0 license — See also our legal information page