Alain Kerbrat, Thierry Jéron, Roland Groz. Automated test generation from SDL specifications. In Rachida Dssouli, Gregor von Bochmann, Yair Lahav, editors, SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings. pages 135-152, Elsevier, 1999.
@inproceedings{KerbratJG99,
title = {Automated test generation from SDL specifications},
author = {Alain Kerbrat and Thierry Jéron and Roland Groz},
year = {1999},
tags = {testing},
researchr = {https://researchr.org/publication/KerbratJG99},
cites = {0},
citedby = {0},
pages = {135-152},
booktitle = {SDL 99 The Next Millennium, 9th International SDL Forum, Montréal, Québec, Canada, 21-25 June, 1999, Proceedings},
editor = {Rachida Dssouli and Gregor von Bochmann and Yair Lahav},
publisher = {Elsevier},
}