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: Henniger:Olaf
Contributed to:
2003
19991993Wrote 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.