The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniel Hoffman: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jason McDonald, Paul A. Strooper, Daniel Hoffman
    Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. [Citation Graph (0, 0)][DBLP]
    APSEC, 2003, pp:322-331 [Conf]
  2. Daniel Hoffman, Paul A. Strooper
    Tools and Techniques for Java API Testing. [Citation Graph (0, 0)][DBLP]
    Australian Software Engineering Conference, 2000, pp:235-246 [Conf]
  3. Daniel Hoffman, Xianhong Fang
    Testing the C set++ collection class library. [Citation Graph (0, 0)][DBLP]
    CASCON, 1994, pp:26- [Conf]
  4. Daniel Hoffman, Durga Prabhakar, Paul A. Strooper
    Testing iptables. [Citation Graph (0, 0)][DBLP]
    CASCON, 2003, pp:80-91 [Conf]
  5. Daniel Hoffman, Paul A. Strooper
    A case study in class testing. [Citation Graph (0, 0)][DBLP]
    CASCON, 1993, pp:472-482 [Conf]
  6. Yong Du, Daniel Hoffman
    PBit -- A Pattern-Based Testing Framework for iptables. [Citation Graph (0, 0)][DBLP]
    CNSR, 2004, pp:107-112 [Conf]
  7. Daniel Hoffman
    An Undergraduate Course in Software Design. [Citation Graph (0, 0)][DBLP]
    CSEE, 1988, pp:154-168 [Conf]
  8. Daniel Hoffman, Terry Shepard
    On Teaching the Rational Desighn Process. [Citation Graph (0, 0)][DBLP]
    CSEE, 1992, pp:44-62 [Conf]
  9. Daniel Hoffman
    Establishing the Fundamentals of Software Engineering. [Citation Graph (0, 0)][DBLP]
    Experimental Software Engineering Issues, 1992, pp:171-172 [Conf]
  10. Daniel Hoffman, David M. Weiss
    David L. Parnas Symposium. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:807-809 [Conf]
  11. Ponrudee Netisopakul, Lee J. White, John Morris, Daniel Hoffman
    Data Coverage Testing of Programs for Container Classes. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2002, pp:183-194 [Conf]
  12. Daniel Hoffman, C. Brealey
    Module Test Case Generation. [Citation Graph (0, 0)][DBLP]
    Symposium on Testing, Analysis, and Verification, 1989, pp:97-102 [Conf]
  13. Daniel Hoffman, Kevin Yoo
    Blowtorch: a framework for firewall test automation. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:96-103 [Conf]
  14. Brad Long, Daniel Hoffman, Paul A. Strooper
    A Concurrency Test Tool for Java Monitors. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:421-425 [Conf]
  15. Jason McDonald, Daniel Hoffman, Paul A. Strooper
    Programmatic Testing of the Standard Template Library Containers. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:147-156 [Conf]
  16. Daniel Hoffman, Jayakrishnan Nair, Paul A. Strooper
    Testing Generic Ada Packages with APE. [Citation Graph (0, 0)][DBLP]
    SIGAda, 1998, pp:255-262 [Conf]
  17. Daniel Hoffman, Paul A. Strooper
    State Abstraction and Modular Software Development. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1995, pp:53-61 [Conf]
  18. Paul A. Strooper, Daniel Hoffman
    Prolog Testing of C Modules. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:596-608 [Conf]
  19. Daniel Hoffman, Paul A. Strooper
    Prose + Test Cases = Specifications. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:239-0 [Conf]
  20. Daniel Hoffman, Paul A. Strooper
    Graph-based Class Testing. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1994, v:26, n:4, pp:158-163 [Journal]
  21. Daniel Hoffman, Paul A. Strooper
    The Testgraph Methodology: Automated Testing of Collection Classes. [Citation Graph (0, 0)][DBLP]
    JOOP, 1995, v:8, n:7, pp:35-41 [Journal]
  22. Daniel Hoffman, Paul A. Strooper
    API documentation with executable examples. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2003, v:66, n:2, pp:143-156 [Journal]
  23. James Coplien, Daniel Hoffman, David M. Weiss
    Commonality and Variability in Software Engineering. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1998, v:15, n:6, pp:37-45 [Journal]
  24. Mark A. Ardis, Nigel Daley, Daniel Hoffman, Harvey P. Siy, David M. Weiss
    Software product lines: a case study. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2000, v:30, n:7, pp:825-847 [Journal]
  25. Nigel Daley, Daniel Hoffman, Paul A. Strooper
    A framework for table driven testing of Java classes. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2002, v:32, n:5, pp:465-493 [Journal]
  26. Daniel Hoffman
    Practical Interface Specification. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1989, v:19, n:2, pp:127-148 [Journal]
  27. Daniel Hoffman, Paul A. Strooper
    ClassBench: A Framework for Automated Class Testing. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1997, v:27, n:5, pp:573-597 [Journal]
  28. Thomas Ball, Daniel Hoffman, Frank Ruskey, Richard Webber, Lee J. White
    State Generation and Automated Class Testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:3, pp:149-170 [Journal]
  29. Daniel Hoffman, Paul A. Strooper, Sarah Wilkin
    Tool support for executable documentation of Java class hierarchies. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2005, v:15, n:4, pp:235-256 [Journal]
  30. Daniel Hoffman, Paul A. Strooper, Lee J. White
    Boundary Values and Automated Component Testing. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1999, v:9, n:1, pp:3-26 [Journal]
  31. Ann Jackson, Daniel Hoffman
    Inspecting Module Interface Specifications. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 1994, v:4, n:2, pp:101-117 [Journal]
  32. Daniel Hoffman
    The Trace Specification of Communications Protocols. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Computers, 1985, v:34, n:12, pp:1102-1113 [Journal]
  33. Daniel Hoffman
    On Criteria for Module Interfaces. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1990, v:16, n:5, pp:537-542 [Journal]
  34. Daniel Hoffman, Richard T. Snodgrass
    Trace Specifications: Methodology and Models. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1988, v:14, n:9, pp:1243-1252 [Journal]
  35. Daniel Hoffman, Paul A. Strooper
    Automated Module Testing in Prolog. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1991, v:17, n:9, pp:934-943 [Journal]
  36. Brad Long, Daniel Hoffman, Paul A. Strooper
    Tool Support for Testing Concurrent Java Components. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:555-566 [Journal]
  37. Tereus Scott, Kui Wu, Daniel Hoffman
    Radio propagation patterns in wireless sensor networks: new experimental results. [Citation Graph (0, 0)][DBLP]
    IWCMC, 2006, pp:857-862 [Conf]

  38. Evaluating "no-new-wires" home networks. [Citation Graph (, )][DBLP]


  39. Bad Pairs in Software Testing. [Citation Graph (, )][DBLP]


Search in 0.021secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002