Renzo Degiovanni
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
10
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICST | Improving Dynamic Specification Inference with LLM-Generated Counterexamples. | Agustn Balestra, Agustn Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre |
| 2026 | ICST | How well LLM-based test generation techniques perform with newer LLM versions? | Michael Konstantinou, Renzo Degiovanni, Mike Papadakis |
| 2026 | KR | AIGLE: A Tool for Compact, Legible AIGER Circuits from Safety Specifications. | Matas Brizzio, Andoni Rodrguez, Csar Snchez, Renzo Degiovanni |
| 2026 | SAC | Robust LLM-as-a-Judge Validators for Assessing the Quality of Educational Exams. | Renzo Degiovanni, Sergio Morales, Miriam Coccia, Robert Claris, Jordi Cabot |
| 2026 | SAC | Evaluating LLMs for One-Shot Patching of Real and Artificial Vulnerabilities. | Aayush Garg, Zanis Ali Khan, Renzo Degiovanni, Qiang Tang |
| 2024 | ICSE | SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. | Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2024 | ICST | On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset. | Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon |
| 2023 | AST | On Comparing Mutation Testing Tools through Learning-based Mutant Selection. | Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon |
| 2023 | FASE | ACoRe: Automated Goal-Conflict Resolution. | Luiz Carvalho, Renzo Degiovanni, Matas Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis |
| 2023 | GECCO | Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. | Matas Brizzio, Maxime Cordy, Mike Papadakis, Csar Snchez, Nazareno Aguirre, Renzo Degiovanni |
| 2023 | ISSRE | Enabling Efficient Assertion Inference. | Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon |
| 2022 | ICST | Bert: Mutation Testing using Pre-Trained Language Models. | Renzo Degiovanni, Mike Papadakis |
| 2019 | ICSE | Training binary classifiers as data structure invariants. | Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | Goal-conflict likelihood assessment based on model counting. | Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | From operational to declarative specifications using a genetic algorithm. | Facundo Molina, Renzo Degiovanni, Germn Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias |
| 2017 | ICSE | An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. | Luciano Zemn, Simn Gutirrez Brida, Ariel Godio, Csar Cornejo, Renzo Degiovanni, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2015 | ICSE | Specifying Event-Based Systems with a Counting Fluent Temporal Logic. | Germn Regis, Renzo Degiovanni, Nicols D'Ippolito, Nazareno Aguirre |
| 2014 | ICSE | Automated goal operationalisation based on interpolation and SAT solving. | Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastin Uchitel |
| 2013 | CLEI | Analyzing formal requirements specifications using an off-the-shelf model checker. | Gastn Scilingo, Mara Marta Novaira, Renzo Degiovanni, Nazareno Aguirre |
| 2011 | TAP | Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. | Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |