Formal Methods to Assist Conformance Testing. A Case Study.

Clazien D. Wezeman, S. Batley, J. Lynch

Browse the full FORTE paper archive.