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]
Abstract is missing.