| 2007 |
|---|
| 5 | EE | Ana C. R. Paiva,
João C. P. Faria,
Pedro M. C. Mendes:
Reverse Engineered Formal Models for GUI Testing.
FMICS 2007: 218-233 |
| 4 | EE | Ana Paiva,
João C. P. Faria,
Raul F. A. M. Vidal:
Towards the Integration of Visual and Formal Models for GUI Testing.
Electr. Notes Theor. Comput. Sci. 190(2): 99-111 (2007) |
| 2005 |
|---|
| 3 | EE | Ana Paiva,
Nikolai Tillmann,
João C. P. Faria,
Raul F. A. M. Vidal:
Modeling and Testing Hierarchical GUIs.
Abstract State Machines 2005: 329-344 |
| 2 | EE | 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.
ICFEM 2005: 450-464 |
| 2003 |
|---|
| 1 | EE | Ana Paiva,
João C. P. Faria,
Raul F. A. M. Vidal:
Specification-Based Testing of User Interfaces.
DSV-IS 2003: 139-153 |
