Renzo Degiovanni

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 32

Top Topics

Mutation Testing

Conflict Resolution

Top Venues

IEEE Trans. Software Eng.

Publications

Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions. ICSE (2024)
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Vulnerability Mimicking Mutants. CoRR (2023)
Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Efficient Mutation Testing via Pre-Trained Language Models. CoRR (2023)
Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, Mike Papadakis
Specification Inference for Evolving Systems. CoRR (2023)
Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
On Comparing Mutation Testing Tools through Learning-based Mutant Selection. AST (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
Enabling Efficient Assertion Inference. ISSRE (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
Assertion Inferring Mutants. CoRR (2023)
Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon
Cerebro: Static Subsuming Mutant Selection. IEEE Trans. Software Eng. 49 (1) (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. FASE (2023)
Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies. IEEE Trans. Software Eng. 49 (7) (2023)
Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis
ACoRe: Automated Goal-Conflict Resolution. CoRR (2023)
Milos Ojdanic, Ezekiel O. Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. GECCO (2023)
Renzo Degiovanni, Mike Papadakis
µBert: Mutation Testing using Pre-Trained Language Models. ICST Workshops (2022)
Renzo Degiovanni, Mike Papadakis
μBERT: Mutation Testing using Pre-Trained Language Models. CoRR (2022)
Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon
Learning from what we know: How to perform vulnerability prediction using noisy historical data. Empir. Softw. Eng. 27 (7) (2022)
Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies. CoRR (2021)
Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon
Cerebro: Static Subsuming Mutant Selection. CoRR (2021)
Milos Ojdanic, Ezekiel Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon
Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution. CoRR (2021)
Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting. CoRR (2021)
Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon
Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach. CoRR (2020)
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Training binary classifiers as data structure invariants. ICSE (2019)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181 (2019)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Improving lazy abstraction for SCR specifications through constraint relaxation. Softw. Test. Verification Reliab. 28 (2) (2018)
Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias
Goal-conflict likelihood assessment based on model counting. ICSE (2018)
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
A genetic algorithm for goal-conflict identification. ASE (2018)
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
From operational to declarative specifications using a genetic algorithm. SBST@ICSE (2018)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
CLTSA: labelled transition system analyser with counting fluent support. ESEC/SIGSOFT FSE (2017)
Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
An Analysis of the Suitability of Test-Based Patch Acceptance Criteria. SBST@ICSE (2017)
Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre
Goal-conflict detection based on temporal satisfiability checking. ASE (2016)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF (2016)
Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre
Specifying Event-Based Systems with a Counting Fluent Temporal Logic. ICSE (1) (2015)
Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel
Automated goal operationalisation based on interpolation and SAT solving. ICSE (2014)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking. LAFM (2013)
Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre
Analyzing formal requirements specifications using an off-the-shelf model checker. CLEI (2013)
Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications. TAP@TOOLS (2011)