Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal. Automated Specification-based Testing of Interactive Components with AsmL. In Fernando Brito e Abreu, Jorge S. Coelho, Miguel Goulão, Rafael Gomes, editors, Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, Porto, Portugal, October 18-20, 2004. Volume 1135 of CEUR Workshop Proceedings, pages 119-126, CEUR-WS.org, 2004. [doi]
Abstract is missing.