Ana Cristina Ramada Paiva


AuthID: R-002-04C

Publicações Confirmadas: 107



101
TÍTULO: Visual abstract notation for GUI modelling and testing - VAN4GUIM
AUTORES: Moreira, RMLM; Paiva, ACR ;
PUBLICAÇÃO: 2008, FONTE: 3rd International Conference on Software and Data Technologies in ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE, VOLUME: SE, NÚMERO: GSDCA/M/-
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
102
TÍTULO: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTORES: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLICAÇÃO: 2007, FONTE: FMIS@BCS HCI, VOLUME: 208, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 24 Handle
NO MEU: ORCID
103
TÍTULO: Towards the Integration of Visual and Formal Models for GUI Testing
AUTORES: Ana C R Paiva ; João C P Faria ; Raul F A M Vidal ;
PUBLICAÇÃO: 2007, FONTE: MBT, VOLUME: 190, NÚMERO: 2 SPEC. ISS.
INDEXADO EM: Scopus DBLP CrossRef: 13 Handle
NO MEU: ORCID
104
TÍTULO: A model-to-implementation mapping tool for automated model-based GUI testing
AUTORES: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLICAÇÃO: 2005, FONTE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785
INDEXADO EM: Scopus WOS DBLP CrossRef: 31 Handle
NO MEU: ORCID
105
TÍTULO: Modeling and Testing Hierarchical GUIs
AUTORES: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLICAÇÃO: 2005, FONTE: Abstract State Machines
INDEXADO EM: DBLP Handle
NO MEU: ORCID
106
TÍTULO: Automated Specification-based Testing of Interactive Components with AsmL
AUTORES: Ana C R Paiva ; João Pascoal Faria ; Raul Moreira Vidal ;
PUBLICAÇÃO: 2004, FONTE: QUATIC, VOLUME: 1135
INDEXADO EM: Scopus DBLP Handle
NO MEU: ORCID
107
TÍTULO: Specification-based testing of user interfaces
AUTORES: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLICAÇÃO: 2003, FONTE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Handle
NO MEU: ORCID
Página 11 de 11. Total de resultados: 107.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service