Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 99



81
TITLE: Specification-driven unit test generation for java generic classes
AUTHORS: Rebello De Andrade, F; Faria, JP ; Lopes, A ; Paiva, ACR ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
82
TITLE: Specifying UML Protocol State Machines in Alloy
AUTHORS: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
83
TITLE: Test Generation from UML Sequence Diagrams
AUTHORS: Joao Pascoal Faria ; Ana C R Paiva ; Zhuanli L Yang;
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: 5
IN MY: ORCID | ResearcherID | DBLP
84
TITLE: Test case generation from mutated task models
AUTHORS: Barbosa, A; Paiva, ACR ; Campos, JC ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID | DBLP
85
TITLE: TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY
AUTHORS: Francisco Rebello de Andrade; Joao Pascoal Faria ; Ana C R Paiva ;
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 | DBLP
86
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: 11
IN MY: ORCID
87
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
88
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
89
TITLE: Test Coverage Analysis of UML Activity Diagrams for Interactive Systems
AUTHORS: Ricardo D F Ferreira; Joao P Faria ; Ana C R Paiva ;
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 | DBLP
90
TITLE: Test coverage analysis of UML state machines
AUTHORS: Ferreira, RDF; Paiva, ACR ; Faria, JP ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 11
IN MY: ORCID | DBLP
Page 9 of 10. Total results: 99.

footer slogan

Useful Links

Get Help

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