Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga. Automating the process of test derivation from 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 261-276, Elsevier, 1997.
@inproceedings{BochmannPBM97,
title = {Automating the process of test derivation from SDL specifications},
author = {Gregor von Bochmann and Alexandre Petrenko and O. Bellal and S. Maguiraga},
year = {1997},
tags = {testing},
researchr = {https://researchr.org/publication/BochmannPBM97},
cites = {0},
citedby = {0},
pages = {261-276},
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},
}