Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 91



81
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ricardo D F Ferreira; Joao P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
82
TITLE: Test coverage analysis of UML state machines
AUTHORS: Ferreira, RDF; Paiva, ACR ; Faria, JP ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID | DBLP
83
TITLE: Testing Aspect-Oriented Programs
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ; Ademar Aguiar ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION
INDEXED IN: Scopus WOS
IN MY: ORCID | ResearcherID
84
TITLE: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS: Silva, JL ; Campos, JC ; Paiva, ACR ;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 23
IN MY: ORCID | DBLP
85
TITLE: Reverse engineered formal models for GUI testing  Full Text
AUTHORS: Ana C R Paiva ; Joao C P Faria ; Pedro M C Mendes;
PUBLISHED: 2008, SOURCE: 12th International Workshop on Formal Methods for Industrial Critical Systems in FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, VOLUME: 4916
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | ResearcherID | DBLP
86
TITLE: Visual abstract notation for GUI modelling and testing - VAN4GUIM
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLISHED: 2008, SOURCE: 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, ISSUE: GSDCA/M/-
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | ResearcherID | DBLP
87
TITLE: Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 190, ISSUE: 2 SPEC. ISS.
INDEXED IN: Scopus DBLP CrossRef: 12
IN MY: ORCID | DBLP
88
TITLE: A model-to-implementation mapping tool for automated model-based GUI testing
AUTHORS: Paiva, ACR ; Faria, JCP ; Tillmann, N; Vidal, RAM ;
PUBLISHED: 2005, SOURCE: 7th International Conference on Formal Methods and Software Engineering in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 3785
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: ORCID | ResearcherID | DBLP
89
TITLE: Modeling and Testing Hierarchical GUIs
AUTHORS: Ana C R Paiva ; Nikolai Tillmann; João C P Faria ; Raul F A M Vidal;
PUBLISHED: 2005, SOURCE: Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
INDEXED IN: DBLP
IN MY: ORCID | DBLP
90
TITLE: Automated specification-based testing of interactive components with asmL PDF
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2004, SOURCE: 5th International Conference on the Quality of Information and Communications Technology, QUATIC 2004 in CEUR Workshop Proceedings, VOLUME: 1135
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
Página 9 de 10. Total de resultados: 91.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service