BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
Collaborated with:
B.Baumgarten M.Lu H.Ural B.Sarikaya S.Biedlingmaier
Talks about:
test (4) generat (2) distribut (1) strategi (1) protocol (1) unbound (1) testabl (1) automat (1) system (1) specif (1)

Person: Olaf Henniger

DBLP DBLP: Henniger:Olaf

Contributed to:

FATES 20032003
IWTCS 19991999
IWPTS 19931993

Wrote 3 papers:

FATES-2003-HennigerLU #automation #distributed #generative #testing
Automatic Generation of Test Purposes for Testing Distributed Systems (OH, ML, HU), pp. 178–191.
IWTCS-1999-BaumgartenH #bound #testing
Testability with Unbounded Testing Strategies (BB, OH), pp. 43–60.
IWPTS-1993-HennigerSB #generative #protocol #specification #testing
Test Suite Generation for Application Layer Protocols from Formal Specifications in Estelle (OH, BS, SB), pp. 67–85.

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.