Specification-Based Testing of User Interfaces. - Ana C. R. Paiva; João C. P. Faria; Raul F. A. M. Vidal (DSV-IS, 2003)

Modeling and Testing Hierarchical GUIs. - Ana C. R. Paiva; Nikolai Tillmann; João C. P. Faria; Raul F. A. M. Vidal (Abstract State Machines, 2005)

A Model-to-Implementation Mapping Tool for Automated Model-Based GUI Testing. - Ana C. R. Paiva; João C. P. Faria; Nikolai Tillmann; Raul F. A. M. Vidal (ICFEM, 2005)

Towards the Integration of Visual and Formal Models for GUI Testing. - Ana C. R. Paiva; João C. P. Faria; Raul F. A. M. Vidal (MBT, 2007)