Ana Cristina Ramada Paiva


AuthID: R-002-04C

Confirmed Publications: 99



1
TITLE: Alloy Repair Hint Generation Based on Historical Data
AUTHORS: Barros, Ana; Neto, Henrique; Cunha, Alcino ; Macedo, Nuno ; Paiva, Ana C. R. ;
PUBLISHED: 2025, SOURCE: 26th International Symposium on Formal Methods (FM) in FORMAL METHODS, PT II, FM 2024, VOLUME: 14934
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: GAMFLEW: serious game to teach white-box testing
AUTHORS: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra;
PUBLISHED: 2025, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef Unpaywall
IN MY: ORCID
3
TITLE: Testing infrastructures to support mobile application testing: A systematic mapping study
AUTHORS: Kuroishi, Pedro Henrique; Paiva, Ana Cristina Ramada ; Maldonado, Jose Carlos; Vincenzi, Auri Marcelo Rizzo;
PUBLISHED: 2025, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 177
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
4
TITLE: Exploring students' opinion on software testing courses
AUTHORS: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLISHED: 2024, SOURCE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: FRAFOL: FRAmework FOr Learning mutation testing
AUTHORS: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
6
TITLE: Message from the General Co-Chairs: International Conference on Software Engineering (ICSE) 2024
AUTHORS: Ana R Paiva ; Rui Abreu;
PUBLISHED: 2024, SOURCE: 46th International Conference on Software Engineering: Companion, ICSE-Companion 2024 in Proceedings - International Conference on Software Engineering
INDEXED IN: Scopus
7
TITLE: State of the Practice in Software Testing Teaching in Four European Countries
AUTHORS: Tramontana, Porfirio; Marin, Beatriz; Paiva, Ana C. R. ; Mendes, Alexandra ; Vos, Tanja E. J.; Amalfitano, Domenico; Cammaerts, Felix; Snoeck, Monique; Fasolino, Anna Rita;
PUBLISHED: 2024, SOURCE: 17th IEEE International Conference on Software Testing, Verification, and Validation (ICST) in 2024 IEEE CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION, ICST 2024
INDEXED IN: WOS DBLP
IN MY: DBLP
8
TITLE: Static and Dynamic Comparison of Mutation Testing Tools for Python
AUTHORS: Lucca Renato Guerino; Pedro Henrique Kuroishi; Ana Cristina Ramada Paiva ; Auri Marcelo Rizzo Vincenzi;
PUBLISHED: 2024, SOURCE: Proceedings of the XXIII Brazilian Symposium on Software Quality
INDEXED IN: CrossRef Unpaywall
IN MY: ORCID
9
TITLE: An Approach to Regression Testing Selection based on Code Changes and Smells
AUTHORS: Mori, Allan; Paiva, Ana C. R. ; Souza, Simone R. S.;
PUBLISHED: 2023, SOURCE: 8th Brazilian Symposium on Systematic and Automated Software Testing (SAST) in PROCEEDINGS OF THE 8TH BRAZILIAN SYMPOSIUM ON SYSTEMATIC AND AUTOMATED SOFT-WARE TESTING, SAST 2023
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: Collecting cognitive strategies applied by students during test case design
AUTHORS: Cammaerts, Felix; Snoeck, Monique; Paiva, Ana C. R. ;
PUBLISHED: 2023, SOURCE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 10. Total results: 99.

footer slogan

Useful Links

Get Help

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