João Carlos Pascoal Faria


AuthID: R-000-6WK

Confirmed Publications: 89



1
TITLE: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTHORS: Melissa Silva; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025.
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTHORS: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLISHED: 2025, SOURCE: 11th IFIP WG 2.2 International Conference on Fundamentals of Software Engineering, FSEN 2025 in Fundamentals of Software Engineering - 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings, VOLUME: 15593
INDEXED IN: Scopus DBLP CrossRef
3
TITLE: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTHORS: André Mesquita Rincon; Auri Marcelo Rizzo Vincenzi; João Pascoal Faria ;
PUBLISHED: 2025, SOURCE: IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31 - April 4, 2025
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: APITestGenie: Automated API Test Generation through Generative AI
AUTHORS: André Pereira; Bruno Lima; João Pascoal Faria ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2409.03838
INDEXED IN: DBLP
IN MY: DBLP
5
6
7
TITLE: Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)  Full Text
AUTHORS: João Pascoal Faria ; Freek Verbeek; Anna Rita Fasolino;
PUBLISHED: 2024, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 49, ISSUE: 2
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects
AUTHORS: Sousa, Andre; Veloso, Daniel; Goncalves, Henrique; Faria, Joao Pascoal ; Mendes Moreira, Joao ; Graca, Ricardo; Gomes, Duarte; Castro, Rui Nuno; Henriques, Pedro Castro;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
INDEXED IN: WOS DBLP CrossRef: 10 Unpaywall
IN MY: ORCID | DBLP
9
TITLE: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTHORS: João Pascoal Faria ; Rui Abreu ;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS
INDEXED IN: Scopus CrossRef
IN MY: ORCID
10
TITLE: Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device
AUTHORS: Sadra Farshid; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2023, SOURCE: Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023.
INDEXED IN: DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 1 of 9. Total results: 89.

footer slogan

Useful Links

Get Help

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