Automatic Interoperability Test Case Generation Based on Formal Definitions.

Alexandra Desmoulin, Csar Viho

Browse the full FMICS paper archive.