Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 107



91
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
92
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: 19
IN MY: ORCID | DBLP
93
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
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: 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
98
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
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: Model-based User Interface Testing With Spec Explorer and ConcurTaskTrees
AUTHORS: José Luís Silva ; José Creissac Campos ; Ana C R Paiva ;
PUBLISHED: 2008, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 208, ISSUE: C
INDEXED IN: Scopus DBLP CrossRef: 24 Handle
IN MY: ORCID | DBLP
Page 10 of 11. Total results: 107.

footer slogan

Useful Links

Get Help

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