Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Foundation Models as Oracles for Refactoring Correctness Detection
Rohit Gheyi, Rian Melo, Jonhnanthan Oliveira +2
Refactoring tools in popular Integrated Development Environments (IDEs) can introduce unintended behavioral changes or compilation errors, a persistent challenge that undermines de…
cs.SE2026
Vulnerability Detection with Interprocedural Context in Multiple Languages: Assessing Effectiveness and Cost of Modern LLMs
Kevin Lira, Baldoino Fonseca, Davy BaÃa +2
Large Language Models (LLMs) have been a promising way for automated vulnerability detection. However, most prior studies have explored the use of LLMs to detect vulnerabilities on…
cs.SE2024
On the Effectiveness of LLMs for Manual Test Verifications
Myron David Lucena Campos Peixoto, Davy de Medeiros Baia, Nathalia Nascimento +3
Background: Manual testing is vital for detecting issues missed by automated tests, but specifying accurate verifications is challenging. Aims: This study aims to explore the use o…