Ana Cristina Ramada Paiva


AuthID: R-002-04C

Publicações Confirmadas: 99



81
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
82
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
83
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
84
TÍTULO: Test case generation from mutated task models
AUTORES: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLICAÇÃO: 2011, FONTE: 3rd ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS'11 in Proceedings of the 2011 SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2011
INDEXADO EM: Scopus DBLP CrossRef: 15
NO MEU: ORCID | DBLP
85
TÍTULO: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTORES: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2011, FONTE: 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
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID | DBLP
86
TÍTULO: PETTool: A pattern-based GUI testing tool
AUTORES: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus CrossRef: 11
NO MEU: ORCID
87
TÍTULO: Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs
AUTORES: Faria, JP ; Paiva, A ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
88
TÍTULO: Reverse Engineering of GUI Models for Testing
AUTORES: Andre M P Grilo; Ana C R Paiva ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION
INDEXADO EM: Scopus WOS
NO MEU: ORCID | ResearcherID
89
TÍTULO: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTORES: Ricardo D F Ferreira; Joao P Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
90
TÍTULO: Test coverage analysis of UML state machines
AUTORES: Ferreira, RDF; Paiva, ACR ; Faria, JP ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 11
NO MEU: ORCID | DBLP
Página 9 de 10. Total de resultados: 99.

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

Links Úteis

Ajuda

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