Renzo Degiovanni

Luxembourg Institute of Science and Technology — LU

Computer Science · Physical Sciences

9h-index269citations50works1.32yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(29), Software Engineering Research(28), Software Reliability and Analysis Research(20), Formal Methods in Verification(14), Advanced Software Engineering Methodologies(10)

Publications50 total

YATE: The Role of Test Repair in LLM-Based Unit Test Generation
arXiv (Cornell University)·2025Open Access
Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
arXiv (Cornell University)·2025Open Access
Mode-Based Reactive Synthesis
Lecture notes in computer science·2025
An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria
ACM Transactions on Software Engineering and Methodology·2024Open Access
Do LLMs generate test oracles that capture the actual or the expected program behaviour?
arXiv (Cornell University)·2024· 1 citedOpen Access
Abstraction-Aware Inference of Metamorphic Relations
Proceedings of the ACM on software engineering.·2024· 4 citedOpen Access
On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset
2024· 4 cited
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions
2024· 1 citedOpen Access
Enabling Efficient Assertion Inference
2023· 4 citedOpen Access
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
Proceedings of the Genetic and Evolutionary Computation Conference·2023· 4 citedOpen Access
Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies
IEEE Transactions on Software Engineering·2023· 11 citedOpen Access
On Comparing Mutation Testing Tools through Learning-based Mutant Selection
2023· 4 citedOpen Access
ACoRe: Automated Goal-Conflict Resolution
arXiv (Cornell University)·2023· 1 citedOpen Access
Vulnerability Mimicking Mutants
arXiv (Cornell University)·2023· 3 citedOpen Access
Specification Inference for Evolving Systems
arXiv (Cornell University)·2023Open Access
Assertion Inferring Mutants
arXiv (Cornell University)·2023Open Access
Efficient Mutation Testing via Pre-Trained Language Models
arXiv (Cornell University)·2023· 5 citedOpen Access
deltaspec
Figshare·2023Open Access
ACoRe: Automated Goal-Conflict Resolution
Lecture notes in computer science·2023· 7 citedOpen Access
Learning from what we know: How to perform vulnerability prediction using noisy historical data
Empirical Software Engineering·2022· 21 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Nazareno Aguirre(29), Mike Papadakis(25), Yves Le Traon(17), Aayush Garg(12), Germán Regis(10), Maxime Cordy(10), Marcelo F. Frias(10), Facundo Molina(9), Pablo F. Castro(6), Miloš Ojdanić(6), Pablo Ponzio(5), Matthieu Jimenez(4), Ahmed Khanfir(4), César Cornejo(4), Matías Brizzio(3), Nicolás D’Ippolito(3), Nicolás Ricci(2), Dalal Alrajeh(2), Sebastián Uchitel(2), Luiz Carlos de Sá Carvalho(2)