| |
| 2008 | ||
|---|---|---|
| 3 | 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 | |
| 2 | EE | José L. 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 | ||
| 1 | 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 |
| 1 | José Creissac Campos | [2] |
| 2 | João C. P. Faria | [1] |
| 3 | Pedro M. C. Mendes | [1] |
| 4 | Rodrigo M. L. M. Moreira | [3] |
| 5 | José L. Silva | [2] |