Scholar
João Pascoal Faria
Google Scholar ID: osCQrkQAAAAJ
INESC TEC and Faculty of Engineering, University of Porto
Software Engineering
Software Testing
Software Process Improvement
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
491
H-index
12
i10-index
14
Publications
20
Co-authors
29
list available
Publications
5 items
ARIA - An Agentic Framework for Autonomous Testing of Infotainment Systems
2026
Cited
0
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
Co-authors
5 total
Ademar Aguiar
Associate Professor, Fac Engineering, University of Porto & Research Coordinator, HumanISE, INESCTEC
Marco Vieira
University of North Carolina at Charlotte, University of Coimbra
Filipe Figueiredo Correia
Faculdade de Engenharia, Universidade do Porto, INESC TEC
André Restivo
DEI/LIACC, Faculdade de Engenharia da Universidade do Porto
Robert Hierons
Professor, The University of Sheffield
