A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing

Ana Paiva, João C. P. Faria, Nikolai Tillmann, Raul F. A. M. Vidal. A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. In Kung-Kiu Lau, Richard Banach, editors, Formal Methods and Software Engineering, 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings. Volume 3785 of Lecture Notes in Computer Science, pages 450-464, Springer, 2005. [doi]

Authors

Ana Paiva

This author has not been identified. Look up 'Ana Paiva' in Google

João C. P. Faria

This author has not been identified. Look up 'João C. P. Faria' in Google

Nikolai Tillmann

This author has not been identified. Look up 'Nikolai Tillmann' in Google

Raul F. A. M. Vidal

This author has not been identified. Look up 'Raul F. A. M. Vidal' in Google