Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 107



81
82
TITLE: A Pattern-Based Approach for GUI Modeling and Testing
AUTHORS: Moreira, RMLM; Paiva, ACR ; Memon, A;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
INDEXED IN: Scopus WOS DBLP CrossRef: 41
IN MY: ORCID
83
TITLE: Inferring UI Patterns with Inductive Logic Programming
AUTHORS: Miguel Nabuco; Ana C R Paiva ; Rui Camacho ; Joao Pascoal Faria ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
IN MY: ORCID
84
TITLE: Pattern Based GUI Testing Modeling Environment
AUTHORS: Monteiro, T; Paiva, ACR ;
PUBLISHED: 2013, SOURCE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013)
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID
85
TITLE: Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)
AUTHORS: João Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2013, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 38, ISSUE: 1
INDEXED IN: DBLP
IN MY: ORCID
86
TITLE: Techniques and Toolset for Conformance Testing against UML Sequence Diagrams
AUTHORS: João Pascoal Faria ; Ana C R Paiva ; Mário Ventura de Castro;
PUBLISHED: 2013, SOURCE: ICTSS, VOLUME: 8254 LNCS
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
87
TITLE: GUI reverse engineering with machine learning
AUTHORS: Ines Coimbra Morgado ; Ana C R Paiva ; João Pascoal Faria ; Rui Camacho ;
PUBLISHED: 2012, SOURCE: RAISE@ICSE
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
88
TITLE: Message from conference chairs: QUATIC 2012
AUTHORS: Faria, JP ; Paiva, A ; Da Silva, AR ; Da Silva, AR;
PUBLISHED: 2012, SOURCE: 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012 in Proceedings - 2012 8th International Conference on the Quality of Information and Communications Technology, QUATIC 2012
INDEXED IN: Scopus CrossRef
IN MY: ORCID
89
TITLE: Specification-Driven Unit Test Generation for Java Generic Classes
AUTHORS: Francisco Rebello de Andrade; João Pascoal Faria ; Antónia Lopes ; Ana C R Paiva ;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS
INDEXED IN: Scopus DBLP CrossRef: 5
IN MY: ORCID
90
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: IFM, VOLUME: 7321 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
Page 9 of 11. Total results: 107.

footer slogan

Useful Links

Get Help

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