Testing Processes from Formal Specifications with Inputs, Outputs and Data Types.

Grgory Lestiennes, Marie-Claude Gaudel

Browse the full ISSRE paper archive.