Alexandra Desmoulin, César Viho. Automatic Interoperability Test Case Generation Based on Formal Definitions. In Stefan Leue, Pedro Merino, editors, Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers. Volume 4916 of Lecture Notes in Computer Science, pages 234-250, Springer, 2007. [doi]
@inproceedings{DesmoulinV07:0,
title = {Automatic Interoperability Test Case Generation Based on Formal Definitions},
author = {Alexandra Desmoulin and César Viho},
year = {2007},
doi = {10.1007/978-3-540-79707-4_17},
url = {http://dx.doi.org/10.1007/978-3-540-79707-4_17},
tags = {rule-based, testing},
researchr = {https://researchr.org/publication/DesmoulinV07%3A0},
cites = {0},
citedby = {0},
pages = {234-250},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers},
editor = {Stefan Leue and Pedro Merino},
volume = {4916},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-79706-7},
}