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)

Reverse Engineered Formal Models for GUI Testing. - Ana C. R. Paiva; João C. P. Faria; Pedro M. C. Mendes (FMICS, 2007)

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)

Test Coverage Analysis of UML State Machines. - Ricardo D. F. Ferreira; João C. P. Faria; Ana C. R. Paiva (ICST Workshops, 2010)

Test Coverage Analysis of UML Activity Diagrams for Interactive Systems. - Ricardo D. F. Ferreira; João C. P. Faria; Ana C. R. Paiva (QUATIC, 2010)