Travelled to:
1 × France
Collaborated with:
O.Henniger B.Sarikaya
Talks about:
protocol (1) generat (1) specif (1) formal (1) estell (1) applic (1) layer (1) test (1) suit (1)
Person: Steve Biedlingmaier
DBLP: Biedlingmaier:Steve
Contributed to:
Wrote 1 papers:
- 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.