Anders Ek, Jens Grabowski, Dieter Hogrefe, Richard Jerome, Beat Koch, Michael Schmitt II. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. In Ana R. Cavalli, Amardeo Sarma, editors, SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings. pages 245-260, Elsevier, 1997.
@inproceedings{EkGHJKS97,
title = {Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications},
author = {Anders Ek and Jens Grabowski and Dieter Hogrefe and Richard Jerome and Beat Koch and Michael Schmitt II},
year = {1997},
tags = {testing},
researchr = {https://researchr.org/publication/EkGHJKS97},
cites = {0},
citedby = {0},
pages = {245-260},
booktitle = {SDL 97 Time for Testing, SDL, MSC and Trends - 8th International SDL Forum, Evry, France, 23-29 September 1997, Proceedings},
editor = {Ana R. Cavalli and Amardeo Sarma},
publisher = {Elsevier},
}