Ana Cristina Ramada Paiva


AuthID: R-002-04C

Publicações Confirmadas: 96



71
TÍTULO: A Pattern-Based Approach for GUI Modeling and Testing
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLICAÇÃO: 2013, FONTE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
NO MEU: ORCID | DBLP
72
TÍTULO: Inferring UI Patterns with Inductive Logic Programming
AUTORES: Miguel Nabuco; Ana C R Paiva ; Rui Camacho ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXADO EM: Scopus WOS
NO MEU: ORCID
73
TÍTULO: Pattern Based GUI Testing Modeling Environment
AUTORES: Tiago Monteiro; Ana C R Paiva ;
PUBLICAÇÃO: 2013, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
NO MEU: ORCID | DBLP
74
TÍTULO: Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)
AUTORES: João Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2013, FONTE: ACM SIGSOFT Software Engineering Notes, VOLUME: 38, NÚMERO: 1
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
75
TÍTULO: Techniques and toolset for conformance testing against UML sequence diagrams
AUTORES: Faria, JP ; Paiva, ACR ; De Castro, MV;
PUBLICAÇÃO: 2013, FONTE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
76
TÍTULO: GUI reverse engineering with machine learning
AUTORES: Morgado, IC ; Paiva, ACR ; Faria, JP ; Camacho, R ;
PUBLICAÇÃO: 2012, FONTE: 2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 in 2012 1st International Workshop on Realizing AI Synergies in Software Engineering, RAISE 2012 - Proceedings
INDEXADO EM: Scopus DBLP CrossRef: 6
NO MEU: ORCID | DBLP
77
TÍTULO: Message from conference chairs: QUATIC 2012
AUTORES: Faria, JP ; Paiva, A ; Da Silva, AR ; Da Silva, AR;
PUBLICAÇÃO: 2012, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
78
TÍTULO: Specification-driven unit test generation for java generic classes
AUTORES: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7321 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP
79
TÍTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: 9th International Conference on Integrated Formal Methods, IFM 2012 in Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings, VOLUME: 7321
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
80
TÍTULO: Test Generation from UML Sequence Diagrams
AUTORES: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
PUBLICAÇÃO: 2012, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID | ResearcherID | DBLP
Página 8 de 10. Total de resultados: 96.

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

Links Úteis

Ajuda

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