 | 2011 |
|---|
| 11 |       | Ana Barbosa,
Ana C. R. Paiva,
José Creissac Campos:
Test case generation from mutated task models.
EICS 2011: 175-184 |
| 10 |  | Francisco Rebello de Andrade,
João Pascoal Faria,
Ana C. R. Paiva:
Test Generation from Bounded Algebraic Specifications using Alloy.
ICSOFT (2) 2011: 192-200 |
| 2010 |
|---|
| 9 | | Ricardo D. F. Ferreira,
João C. P. Faria,
Ana C. R. Paiva:
Test Coverage Analysis of UML State Machines.
ICST Workshops 2010: 284-289 |
| 8 | | Ricardo D. F. Ferreira,
João C. P. Faria,
Ana C. R. Paiva:
Test Coverage Analysis of UML Activity Diagrams for Interactive Systems.
QUATIC 2010: 268-274 |
| 2008 |
|---|
| 7 | | Rodrigo M. L. M. Moreira,
Ana C. R. Paiva:
Visual Abstract Notation for Gui Modelling and Testing - VAN4GUIM.
ICSOFT (SE/MUSE/GSDCA) 2008: 104-111 |
| 6 | | José Luís Silva,
José Creissac Campos,
Ana C. R. Paiva:
Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees.
Electr. Notes Theor. Comput. Sci. 208: 77-93 (2008) |
| 2007 |
|---|
| 5 | | 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 | | Ana C. R. 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 | | Ana C. R. 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 | | Ana C. R. 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 | | Ana C. R. Paiva,
João C. P. Faria,
Raul F. A. M. Vidal:
Specification-Based Testing of User Interfaces.
DSV-IS 2003: 139-153 |
Data released under the ODC-BY 1.0 license — See also our legal information page