Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 92



71
TITLE: Techniques and toolset for conformance testing against UML sequence diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; De Castro, MV;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
72
TITLE: GUI reverse engineering with machine learning
AUTHORS: Morgado, IC ; Paiva, ACR ; Faria, JP ; Camacho, R ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 6
IN MY: ORCID | DBLP
73
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
74
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
75
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
76
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
77
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
78
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
79
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
80
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
Page 8 of 10. Total results: 92.

footer slogan

Useful Links

Get Help

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