Marc Phalippou. Test sequence generation using Estelle or SDL structure information. In Dieter Hogrefe, Stefan Leue, editors, Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994. Volume 6 of IFIP Conference Proceedings, pages 415-430, Chapman & Hall, 1994.
@inproceedings{Phalippou94,
title = {Test sequence generation using Estelle or SDL structure information},
author = {Marc Phalippou},
year = {1994},
tags = {testing},
researchr = {https://researchr.org/publication/Phalippou94},
cites = {0},
citedby = {0},
pages = {415-430},
booktitle = {Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994},
editor = {Dieter Hogrefe and Stefan Leue},
volume = {6},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-64450-9},
}