|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 26 occurrences of 24 keywords
|
|
|
|
|
Results
Found 43 publication records. Showing 43 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang |
Grammar-based test generation with YouGen.  |
Softw., Pract. Exper.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Chien Chang, Gary Bazdell, Brett Stevens, Kevin Yoo |
Bad Pairs in Software Testing. |
TAIC PART |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong Liu, Tereus Scott, Kui Wu, Daniel Hoffman |
Range-free sensor localisation with ring overlapping based on comparison of received signal strength indicator. |
IJSNet |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jangbok Kim, Kyunghee Choi, Daniel Hoffman, Gihyun Jung |
White Box Pairwise Test Case Generation. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tereus Scott, Kui Wu, Daniel Hoffman |
Radio propagation patterns in wireless sensor networks: new experimental results. |
IWCMC |
2006 |
DBLP DOI BibTeX RDF |
radio propagation pattern, wireless sensors |
| 1 | Daniel Hoffman, Paul A. Strooper, Sarah Wilkin |
Tool support for executable documentation of Java class hierarchies. |
Softw. Test., Verif. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Kevin Yoo |
Blowtorch: a framework for firewall test automation. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
network firewall, production grammar, automated testing, covering array, capture/replay |
| 1 | Yong Du, Daniel Hoffman |
PBit -- A Pattern-Based Testing Framework for iptables. |
CNSR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Brad Long, Daniel Hoffman, Paul A. Strooper |
Tool Support for Testing Concurrent Java Components. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
concurrency, unit testing, tool support, Component testing |
| 1 | Daniel Hoffman, Paul A. Strooper |
API documentation with executable examples. |
Journal of Systems and Software |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason McDonald, Paul A. Strooper, Daniel Hoffman |
Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Durga Prabhakar, Paul A. Strooper |
Testing iptables. |
CASCON |
2003 |
DBLP DOI BibTeX RDF |
IP |
| 1 | Nigel Daley, Daniel Hoffman, Paul A. Strooper |
A framework for table driven testing of Java classes. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman |
Data Coverage Testing of Programs for Container Classes. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Data coverage testing, Testing of container classes, Automated testing |
| 1 | Brad Long, Daniel Hoffman, Paul A. Strooper |
A Concurrency Test Tool for Java Monitors. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, David M. Weiss |
David L. Parnas Symposium. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss |
Software product lines: a case study. |
Softw., Pract. Exper. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White |
State Generation and Automated Class Testing. |
Softw. Test., Verif. Reliab. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
Tools and Techniques for Java API Testing. |
Australian Software Engineering Conference |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
Prose + Test Cases = Specifications. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
formal methods, object-oriented, automated testing, API documentation |
| 1 | Daniel Hoffman, Paul A. Strooper, Lee J. White |
Boundary Values and Automated Component Testing. |
Softw. Test., Verif. Reliab. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | James Coplien, Daniel Hoffman, David M. Weiss |
Commonality and Variability in Software Engineering. |
IEEE Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason McDonald, Daniel Hoffman, Paul A. Strooper |
Programmatic Testing of the Standard Template Library Containers. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper |
Testing Generic Ada Packages with APE. |
SIGAda |
1998 |
DBLP DOI BibTeX RDF |
Ada |
| 1 | Daniel Hoffman, Paul A. Strooper |
ClassBench: A Framework for Automated Class Testing. |
Softw., Pract. Exper. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
The Testgraph Methodology: Automated Testing of Collection Classes. |
JOOP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
Software design, automated testing, and maintenance - a practical approach. |
|
1995 |
RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
State Abstraction and Modular Software Development. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Jackson, Daniel Hoffman |
Inspecting Module Interface Specifications. |
Softw. Test., Verif. Reliab. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
Graph-based Class Testing. |
Australian Computer Journal |
1994 |
DBLP BibTeX RDF |
|
| 1 | Daniel Hoffman, Xianhong Fang |
Testing the C set++ collection class library. |
CASCON |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
A case study in class testing. |
CASCON |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman |
Establishing the Fundamentals of Software Engineering. |
Experimental Software Engineering Issues |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Terry Shepard |
On Teaching the Rational Desighn Process. |
CSEE |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Paul A. Strooper |
Automated Module Testing in Prolog. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs |
| 1 | Paul A. Strooper, Daniel Hoffman |
Prolog Testing of C Modules. |
ISLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Daniel Hoffman |
On Criteria for Module Interfaces. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
module interfaces, modular software development, software engineering |
| 1 | Daniel Hoffman |
Practical Interface Specification. |
Softw., Pract. Exper. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, C. Brealey |
Module Test Case Generation. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman, Richard T. Snodgrass |
Trace Specifications: Methodology and Models. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
trace specification language, trace specification methodology, specification consistency, executable prototypes, formal specification, formal specification, specification languages |
| 1 | Daniel Hoffman |
An Undergraduate Course in Software Design. |
CSEE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Hoffman |
The Trace Specification of Communications Protocols. |
IEEE Trans. Computers |
1985 |
DBLP BibTeX RDF |
|
Displaying result #1 - #43 of 43 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")