João Pascoal Faria
Scholar

João Pascoal Faria

Google Scholar ID: osCQrkQAAAAJ
INESC TEC and Faculty of Engineering, University of Porto
Software EngineeringSoftware TestingSoftware Process Improvement
Google Scholar↗
Citations & Impact
All-time
Citations
491
 
H-index
12
 
i10-index
14
 
Publications
20
 
Co-authors
29
list available
Contact
No contact links provided.
Publications
4 items
Improving Debugging in Verification-Aware Languages Through Automated Fault Localization: A Case Study in Dafny
2026
Cited
0
APITestGenie: Generating Web API Tests from Requirements and API Specifications with LLMs
2026
Cited
0
Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles
2026
Cited
0
Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
2025
Cited
0
Resume (English only)
Co-authors
29 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Ademar Aguiar
Ademar Aguiar
Associate Professor, Fac Engineering, University of Porto & Research Coordinator, HumanISE, INESCTEC
Marco Vieira
Marco Vieira
University of North Carolina at Charlotte, University of Coimbra
Co-author 8
Co-author 8