29 citations · 32 across the 7 of their papers we have counts for
7 papers · 1 filter
An Empirical Analysis of Cross-OS Portability Issues in Python Projects
Denini Silva, MohamadAli Farahat, Marcelo d'Amorim
While Python is designed as a cross-platform language, real-world applications encounter portability failures when deployed across different operating systems. We present the first…
Code Quality Analysis of Translations from C to Rust
Biruk Tadesse, Vikram Nitin, Mazin Salah +3
C/C++ is a prevalent programming language. Yet, it suffers from significant memory and thread-safety issues. Recent studies have explored automated translation of C/C++ to safer la…
SmartOracle -- An Agentic Approach to Mitigate Noise in Differential Oracles
Srinath Srinivasan, Tim Menzies, Marcelo D'Amorim
Differential fuzzers detect bugs by executing identical inputs across distinct implementations of the same specification, such as JavaScript interpreters. Validating the outputs re…
Agentic LMs: Hunting Down Test Smells
Rian Melo, Pedro Simões, Rohit Gheyi +5
Test smells reduce test suite reliability and complicate maintenance. While many methods detect test smells, few support automated removal, and most rely on static analysis or mach…
A Case Study of LLM for Automated Vulnerability Repair: Assessing Impact of Reasoning and Patch Validation Feedback
Ummay Kulsum, Haotian Zhu, Bowen Xu +1
Recent work in automated program repair (APR) proposes the use of reasoning and patch validation feedback to reduce the semantic gap between the LLMs and the code under analysis. T…
Test Oracle Automation in the era of LLMs
Facundo Molina, Alessandra Gorla
The effectiveness of a test suite in detecting faults highly depends on the correctness and completeness of its test oracles. Large Language Models (LLMs) have already demonstrated…