Bruno d Ausbourg, Jacques Cazin. Using TRIO Specifications to Generate Test Cases for an Interactive System. In David J. Duke, Angel R. Puerta, editors, Design, Specification and Verification of Interactive Systems 99, Proceedings of the Eurographics Workshop in Braga, Portugal, June 2-4, 1999. pages 148-166, Springer, 1999.
Abstract is missing.