Ana Cristina Ramada Paiva


AuthID: R-002-04C

Publicações Confirmadas: 101



91
TÍTULO: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTORES: Ricardo D F Ferreira; Joao P Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2010, FONTE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
92
TÍTULO: Test coverage analysis of UML state machines
AUTORES: Ferreira, RDF; Paiva, ACR ; Faria, JP ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010 in ICSTW 2010 - 3rd International Conference on Software Testing, Verification, and Validation Workshops
INDEXADO EM: Scopus DBLP CrossRef: 11
NO MEU: ORCID | DBLP
93
TÍTULO: Testing Aspect-Oriented Programs
AUTORES: Moreira, RMLM; Paiva, ACR ; Aguiar, A ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION
INDEXADO EM: Scopus WOS Handle
NO MEU: ORCID
94
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: 2008, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef Handle
NO MEU: ORCID | DBLP
95
TÍTULO: Reverse engineered formal models for GUI testing  Full Text
AUTORES: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLICAÇÃO: 2008, FONTE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID | ResearcherID | DBLP
96
TÍTULO: Visual abstract notation for GUI modelling and testing - VAN4GUIM
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ;
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 | ResearcherID | DBLP
97
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: Electr. Notes Theor. Comput. Sci., VOLUME: 190, NÚMERO: 2
INDEXADO EM: Scopus DBLP CrossRef Handle
NO MEU: ORCID | DBLP
98
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 Handle
NO MEU: ORCID | DBLP
99
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: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
INDEXADO EM: DBLP Handle
NO MEU: ORCID | DBLP
100
TÍTULO: Automated Specification-based Testing of Interactive Components with AsmL PDF
AUTORES: Ana C R Paiva ; João Pascoal Faria ; Raul Moreira Vidal ;
PUBLICAÇÃO: 2004, FONTE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in Proceedings of the 5th International Conference on the Quality of Information and Communications Technology, Porto, Portugal, October 18-20, 2004., VOLUME: 1135
INDEXADO EM: Scopus DBLP Handle
NO MEU: ORCID | DBLP
Página 10 de 11. Total de resultados: 101.

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

Links Úteis

Ajuda

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