Grégory Lestiennes, Marie-Claude Gaudel. Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. In 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA. pages 3-14, IEEE Computer Society, 2002. [doi]
Abstract is missing.