Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 99



91
TITLE: Testing Aspect-Oriented Programs
AUTHORS: Moreira, RMLM; Paiva, ACR ; Aguiar, A ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION
INDEXED IN: Scopus WOS Handle
IN MY: ORCID
92
TITLE: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID | DBLP
93
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
94
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
95
TITLE: Towards the Integration of Visual and Formal Models for GUI Testing
AUTHORS: Ana C R Paiva ; João C P Faria ; Raul F A M Vidal ;
PUBLISHED: 2007, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 190, ISSUE: 2
INDEXED IN: Scopus DBLP CrossRef Handle
IN MY: ORCID | DBLP
96
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 Handle
IN MY: ORCID | DBLP
97
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 Handle
IN MY: ORCID | DBLP
98
TITLE: Automated Specification-based Testing of Interactive Components with AsmL PDF
AUTHORS: Ana C R Paiva ; João Pascoal Faria ; Raul Moreira Vidal ;
PUBLISHED: 2004, SOURCE: 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
INDEXED IN: Scopus DBLP Handle
IN MY: ORCID | DBLP
99
TITLE: Specification-based testing of user interfaces
AUTHORS: Paiva, ACR ; Faria, JCP ; Vidal, RFAM ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844
INDEXED IN: Scopus WOS DBLP CrossRef Handle
IN MY: ORCID | DBLP
Page 10 of 10. Total results: 99.

footer slogan

Useful Links

Get Help

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