BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
8 × USA
Collaborated with:
P.A.Strooper K.Yoo T.Shepard C.Brealey ∅ B.Long J.McDonald J.Nair P.Walsh
Talks about:
test (8) softwar (2) teach (2) modul (2) case (2) undergradu (1) programmat (1) framework (1) blowtorch (1) standard (1)

Person: Daniel Hoffman

DBLP DBLP: Hoffman:Daniel

Contributed to:

ASE 20052005
ASE 20012001
TOOLS USA 20002000
ASE 19981998
SIGAda 19981998
CSEE 19961996
FSE 19951995
SEI 19921992
ILPS 19911991
ISSTA 19891989
SEI 19881988

Wrote 11 papers:

ASE-2005-HoffmanY #automation #framework #named #testing
Blowtorch: a framework for firewall test automation (DH, KY), pp. 96–103.
ASE-2001-LongHS #concurrent #java #monitoring
A Concurrency Test Tool for Java Monitors (BL, DH, PAS), pp. 421–425.
TOOLS-USA-2000-HoffmanS #specification #testing
Prose + Test Cases = Specifications (DH, PAS), p. 239–?.
ASE-1998-McDonaldHS #library #standard #testing
Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.
SIGAda-1998-HoffmanNS #ada #testing
Testing Generic Ada Packages with APE (DH, JN, PAS), pp. 255–262.
CSEE-1996-HoffmanSW #education #testing
Teaching and Testing (DH, PAS, PW), pp. 248–258.
FSE-1995-HoffmanS #abstraction #composition #development
State Abstraction and Modular Software Development (DH, PAS), pp. 53–61.
SEI-1992-HoffmanS #education #on the #process
On Teaching the Rational Desighn Process (DH, TS), pp. 44–62.
ISLP-1991-StrooperH #c #prolog #testing
Prolog Testing of C Modules (PAS, DH), pp. 596–608.
TAV-1989-HoffmanB #generative #testing
Module Test Case Generation (DH, CB), pp. 97–102.
SEI-1988-Hoffman #design
An Undergraduate Course in Software Design (DH), pp. 154–168.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.