Relating conformance test coverage to formal specifications
Authors:
Roland Groz;Olivier Charles;Josiane Renévot
Affiliations:
-;-;-
Venue:
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools