Relating Conformance Test Coverage to Formal Specifications.

Roland Groz, Olivier Charles, Josiane Renvot

Browse the full FORTE paper archive.