Stefan Heymer, Jens Grabowski. Formal Methods and Conformance Testing --or-- What are we testing anyway?. In Hartmut König, Peter Langendörfer, editors, Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. pages 14-25, Verlag Shaker, 1998.
@inproceedings{HeymerG98,
title = {Formal Methods and Conformance Testing --or-- What are we testing anyway?},
author = {Stefan Heymer and Jens Grabowski},
year = {1998},
tags = {testing},
researchr = {https://researchr.org/publication/HeymerG98},
cites = {0},
citedby = {0},
pages = {14-25},
booktitle = {Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998},
editor = {Hartmut König and Peter Langendörfer},
publisher = {Verlag Shaker},
isbn = {3-8265-3807-2},
}