Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 107



91
TITLE: Test Generation from UML Sequence Diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; Yang, ZL;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012)
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
92
TITLE: Test case generation from mutated task models
AUTHORS: Ana Barbosa; Ana C R Paiva ; José Creissac Campos ;
PUBLISHED: 2011, SOURCE: EICS
INDEXED IN: Scopus DBLP CrossRef: 22
IN MY: ORCID
93
TITLE: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTHORS: de Andrade, FR; Faria, JP ; Paiva, ACR ;
PUBLISHED: 2011, SOURCE: 6th International Conference on Software and Database Technologies (ICSOFT 2011) in ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, VOLUME: 2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
94
TITLE: PETTool: A pattern-based GUI testing tool
AUTHORS: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLISHED: 2010, SOURCE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
INDEXED IN: Scopus CrossRef: 12
IN MY: ORCID
95
TITLE: Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs
AUTHORS: Faria, JP ; Paiva, A ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010 in Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
INDEXED IN: Scopus CrossRef
IN MY: ORCID
96
TITLE: Reverse Engineering of GUI Models for Testing
AUTHORS: Andre M P Grilo; Ana C R Paiva ; Joao Pascoal Faria ;
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
97
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ferreira, RDF; Faria, JP ; Paiva, ACR ;
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
98
TITLE: Test Coverage Analysis of UML State Machines
AUTHORS: Ricardo D F Ferreira; João C P Faria ; Ana C R Paiva ;
PUBLISHED: 2010, SOURCE: ICST Workshops
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID
99
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
100
TITLE: Reverse engineered formal models for GUI testing  Full Text
AUTHORS: Paiva, ACR ; Faria, JCP ; Mendes, PMC;
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: 9
IN MY: ORCID
Page 10 of 11. Total results: 107.

footer slogan

Useful Links

Get Help

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