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
2
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
3
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
4
TITLE: FRAFOL: FRAmework FOr Learning mutation testing
AUTHORS: Pedro Tavares; Ana C R Paiva ; Domenico Amalfitano; René Just;
PUBLISHED: 2024, SOURCE: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024 in Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2024, Vienna, Austria, September 16-20, 2024
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
5
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
6
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
7
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
8
TITLE: ENACTEST project - European Innovation Alliance for Testing Education PDF
AUTHORS: Beatriz Marín; Tanja E J Vos; Monique Snoeck; Ana C R Paiva ; Anna Rita Fasolino;
PUBLISHED: 2023, SOURCE: Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering, CAiSE-RPE 2023 in Proceedings of the Research Projects Exhibition Papers Presented at the 35th International Conference on Advanced Information Systems Engineering (CAiSE 2023), Zaragoza, Spain, June 12-16, 2023., VOLUME: 3413
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
9
TITLE: ENACTEST - European Innovation Alliance for Testing Education PDF
AUTHORS: Beatriz Marín; Tanja E J Vos; Ana C R Paiva ; Anna Rita Fasolino; Monique Snoeck;
PUBLISHED: 2022, SOURCE: Joint 16th Research Challenges in Information Science Workshops and Research Projects Track, RCIS-WS and RP 2022 in Joint Proceedings of RCIS 2022 Workshops and Research Projects Track co-located with the 16th International Conference on Research Challenges in Information Science (RCIS 2022), Barcelona, Spain, May 17-20, 2022., VOLUME: 3144
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
10
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
IN MY: ORCID | DBLP
Page 1 of 10. Total results: 96.