Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 107



21
TITLE: How Do Java Mutation Tools Differ?  Full Text
AUTHORS: Amalfitano, Domenico; Paiva, Ana C. R. ; Inquel, Alexis; Pinto, Luis; Fasolino, Anna Rita; Just, Rene;
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 65, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID | DBLP
22
TITLE: Special issue on information systems quality for digital transformation  Full Text
AUTHORS: Perez Castillo, Ricardo; Paiva, Ana C. R. ; Cavalli, Ana Rosa;
PUBLISHED: 2022, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 30, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
23
TITLE: Towards the Art of Writing Agile Requirements with User Stories, Acceptance Criteria, and Related Constructs
AUTHORS: Ferreira, Antonio M. S.; da Silva, Alberto Rodrigues ; Paiva, Ana C. R. ;
PUBLISHED: 2022, SOURCE: 17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
24
TITLE: Experiences on teaching alloy with an automated assessment platform  Full Text
AUTHORS: Macedo, N ; Cunha, A ; Pereira, J; Carvalho, R; Silva, R; Paiva, ACR ; Ramalho, MS; Silva, D;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 211
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: ORCID | DBLP
25
TITLE: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTHORS: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
INDEXED IN: DBLP
IN MY: ORCID | DBLP
26
TITLE: Preface
AUTHORS: Paiva, ACR ; Cavalli, AR; Martins, PV ; Pérez Castillo, R;
PUBLISHED: 2021, SOURCE: 14th International Conference on the Quality of Information and Communications Technology, QUATIC 2021 in Communications in Computer and Information Science, VOLUME: 1439 CCIS
INDEXED IN: Scopus
IN MY: ORCID
27
TITLE: Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings
AUTHORS: Ana C R Paiva ; Ana Rosa Cavalli; Paula Ventura Martins; Ricardo Pérez Castillo;
PUBLISHED: 2021, SOURCE: QUATIC, VOLUME: 1439
INDEXED IN: DBLP
IN MY: ORCID | DBLP
28
TITLE: Test Case Generation From Web Usage Information
AUTHORS: Garcia, JE ; Paiva, ACR ; Bizoi, AM;
PUBLISHED: 2021, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES 2020 (CENTERIS/PROJMAN/HCIST 2020), VOLUME: 181
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
29
TITLE: Experiences on Teaching Alloy with an Automated Assessment Platform
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel Sozinho Ramalho; Daniel Castro Silva;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID | DBLP
30
TITLE: From Requirements to Automated Acceptance Tests with the RSL Language
AUTHORS: Paiva, ACR ; Maciel, D; Da Silva, AR ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | DBLP
Page 3 of 11. Total results: 107.

footer slogan

Useful Links

Get Help

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