Renzo Degiovanni

According to our database, Renzo Degiovanni authored at least 34 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Abstraction-Aware Inference of Metamorphic Relations.

Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias

Proc. ACM Softw. Eng., 2024

On the Coupling between Vulnerabilities and LLM-Generated Mutants: A Study on Vul4J Dataset.

Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions.

Luiz Carvalho, Renzo Degiovanni, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

2023

Syntactic Versus Semantic Similarity of Artificial and Real Faults in Mutation Testing Studies.

Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

IEEE Trans. Software Eng., July, 2023

Mutation Testing in Evolving Systems: Studying the Relevance of Mutants to Code Evolution.

Milos Ojdanic, Ezekiel O. Soremekun, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

ACM Trans. Softw. Eng. Methodol., January, 2023

Cerebro: Static Subsuming Mutant Selection.

Aayush Garg, Milos Ojdanic, Renzo Degiovanni, Thierry Titcheu Chekam, Mike Papadakis, Yves Le Traon

IEEE Trans. Software Eng., 2023

Vulnerability Mimicking Mutants.

Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

CoRR, 2023

Specification Inference for Evolving Systems.

Renzo Degiovanni, Facundo Molina, Agustín Nolasco, Nazareno Aguirre, Mike Papadakis

CoRR, 2023

Assertion Inferring Mutants.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon

CoRR, 2023

Efficient Mutation Testing via Pre-Trained Language Models.

Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

CoRR, 2023

Enabling Efficient Assertion Inference.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Maxime Cordy, Mike Papadakis, César Sánchez, Nazareno Aguirre, Renzo Degiovanni

Proceedings of the Genetic and Evolutionary Computation Conference, 2023

ACoRe: Automated Goal-Conflict Resolution.

Luiz Carvalho, Renzo Degiovanni, Matías Brizzio, Maxime Cordy, Nazareno Aguirre, Yves Le Traon, Mike Papadakis

Proceedings of the Fundamental Approaches to Software Engineering, 2023

On Comparing Mutation Testing Tools through Learning-based Mutant Selection.

Milos Ojdanic, Ahmed Khanfir, Aayush Garg, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2023

2022

Learning from what we know: How to perform vulnerability prediction using noisy historical data.

Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon

Empir. Softw. Eng., 2022

µBert: Mutation Testing using Pre-Trained Language Models.

Renzo Degiovanni, Mike Papadakis

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

2021

Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies.

Milos Ojdanic, Aayush Garg, Ahmed Khanfir, Renzo Degiovanni, Mike Papadakis, Yves Le Traon

CoRR, 2021

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting.

Matías Brizzio, Renzo Degiovanni, Maxime Cordy, Mike Papadakis, Nazareno Aguirre

CoRR, 2021

2020

Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach.

Aayush Garg, Renzo Degiovanni, Matthieu Jimenez, Maxime Cordy, Mike Papadakis, Yves Le Traon

CoRR, 2020

2019

An evolutionary approach to translating operational specifications into declarative specifications.

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Sci. Comput. Program., 2019

Training binary classifiers as data structure invariants.

Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Improving lazy abstraction for SCR specifications through constraint relaxation.

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Softw. Test. Verification Reliab., 2018

A genetic algorithm for goal-conflict identification.

Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

From operational to declarative specifications using a genetic algorithm.

Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

Goal-conflict likelihood assessment based on model counting.

Renzo Degiovanni, Pablo F. Castro, Marcelo Arroyo, Marcelo Ruiz, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

CLTSA: labelled transition system analyser with counting fluent support.

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria.

Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

2016

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016

Goal-conflict detection based on temporal satisfiability checking.

Renzo Degiovanni, Nicolás Ricci, Dalal Alrajeh, Pablo F. Castro, Nazareno Aguirre

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2015

Specifying Event-Based Systems with a Counting Fluent Temporal Logic.

Germán Regis, Renzo Degiovanni, Nicolás D'Ippolito, Nazareno Aguirre

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

Automated goal operationalisation based on interpolation and SAT solving.

Renzo Degiovanni, Dalal Alrajeh, Nazareno Aguirre, Sebastián Uchitel

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Analyzing formal requirements specifications using an off-the-shelf model checker.

Gastón Scilingo, María Marta Novaira, Renzo Degiovanni, Nazareno Aguirre

Proceedings of the 2013 XXXIX Latin American Computing Conference (CLEI), 2013

2011

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications.

Renzo Degiovanni, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Tests and Proofs - 5th International Conference, 2011