João Carlos Pascoal Faria


AuthID: R-000-6WK

Publicações Confirmadas: 89



1
TÍTULO: Automated Social Media Feedback Analysis for Software Requirements Elicitation: A Case Study in the Streaming Industry
AUTORES: Melissa Silva; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2025, Porto, Portugal, April 4-6, 2025.
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Automatic Generation of Loop Invariants in Dafny with Large Language Models
AUTORES: João Pascoal Faria ; Emanuel Trigo; Rui Abreu ;
PUBLICAÇÃO: 2025, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef
3
TÍTULO: LLM Prompt Engineering for Automated White-Box Integration Test Generation in REST APIs
AUTORES: André Mesquita Rincon; Auri Marcelo Rizzo Vincenzi; João Pascoal Faria ;
PUBLICAÇÃO: 2025, FONTE: IEEE International Conference on Software Testing, Verification and Validation, ICST 2025 - Workshops, Naples, Italy, March 31 - April 4, 2025
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: APITestGenie: Automated API Test Generation through Generative AI
AUTORES: André Pereira; Bruno Lima; João Pascoal Faria ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2409.03838
INDEXADO EM: DBLP
NO MEU: DBLP
5
TÍTULO: Quality of Information and Communications Technology. 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11–13, 2024, Proceedings
AUTORES: Antonia Bertolino; João Pascoal Faria ; Patricia Lago; Laura Semini;
PUBLICAÇÃO: 2024, FONTE: Communications in Computer and Information Science
INDEXADO EM: CrossRef
NO MEU: ORCID
6
7
TÍTULO: Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)  Full Text
AUTORES: João Pascoal Faria ; Freek Verbeek; Anna Rita Fasolino;
PUBLICAÇÃO: 2024, FONTE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 49, NÚMERO: 2
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
8
TÍTULO: Applying Machine Learning to Estimate the Effort and Duration of Individual Tasks in Software Projects
AUTORES: Sousa, Andre; Veloso, Daniel; Goncalves, Henrique; Faria, Joao Pascoal ; Mendes Moreira, Joao ; Graca, Ricardo; Gomes, Duarte; Castro, Rui Nuno; Henriques, Pedro Castro;
PUBLICAÇÃO: 2023, FONTE: IEEE ACCESS, VOLUME: 11
INDEXADO EM: WOS DBLP CrossRef: 10 Unpaywall
NO MEU: ORCID | DBLP
9
TÍTULO: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTORES: João Pascoal Faria ; Rui Abreu ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
10
TÍTULO: Towards Computer Assisted Compliance Assessment in the Development of Software as a Medical Device
AUTORES: Sadra Farshid; Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 18th International Conference on Software Technologies, ICSOFT 2023, Rome, Italy, July 10-12, 2023.
INDEXADO EM: DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
Página 1 de 9. Total de resultados: 89.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service