Personal information

Websites & social links

Personal Website
Google Scholar
DBLP

Biography

Renzo Degiovanni is Senior R&T Associate at the Luxembourg Institute of Science and Technology (LIST). He received a Ph.D. diploma in Computer Science from the National University of Cordoba, Argentina, in 2015. His research aims at contributing to the quality of software by automating software development tasks, especially in the context of requirements engineering and software testing, that are known to demand manual and costly intervention from software engineers. His research has resulted in 27 peer-reviewed publications, including 9 A* SE conferences (ICSE, ASE, ESEC/FSE) and 4 premier SE journals (TSE, TOSEM and EMSE). His work has contributed with more than 15 open-source tools and datasets.

Renzo Degiovanni has participated in the Program Committee of several conferences, including ASE 2023 and ICST 2023/2024, and in the Tool Demo Track of ICSE 2022, FSE 2021 and ISSTA 2018/2020. Moreover, he has been the Co-Chair of the International Workshop of Mutation Analysis during 2023 and 2024, and Workshops Co-Chair at ETAPS 2024.

Activities

Collapse all

Employment (1)

Luxembourg Institute of Science and Technology: Belval, LU

2024-04-15 to present | Senior R&T Associate (ITIS)
Employment
Source: Self-asserted source
Renzo Degiovanni

Education and qualifications (1)

Universidad Nacional de Córdoba: Córdoba, AR

2010-04-01 to 2015-03-13 | PhD in Computer Science (Facultad de Astronomia, Matematica, Fisica y Computacion )
Education
Source: Self-asserted source
Renzo Degiovanni

Works (30)

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria

ACM Transactions on Software Engineering and Methodology
2025-03-31 | Journal article
DOI: 10.1145/3702971
Contributors: Luciano Zemín; Ariel Godio; César Cornejo; Renzo Degiovanni; Simón Gutiérrez Brida; Germán Regis; Nazareno Aguirre; Marcelo Fabián Frias
Source: check_circle
Crossref

Abstraction-Aware Inference of Metamorphic Relations

2024 ACM International Conference on the Foundations of Software Engineering (FSE)
2024-07 | Conference paper
Contributors: A. Nolasco, F. Molina, R. Degiovanni, A. Gorla, D. Garbervetsky, M. Papadakis, S. Uchitel, N. Aguirre, M. Frias
Source: Self-asserted source
Renzo Degiovanni

Abstraction-Aware Inference of Metamorphic Relations

Proceedings of the ACM on Software Engineering
2024-07-12 | Journal article
DOI: 10.1145/3643747
Contributors: Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastian Uchitel; Nazareno Aguirre; Marcelo F. Frias
Source: check_circle
Crossref

On the Coupling between Vulnerabilities and LLM-generated Mutants: A Study on Vul4J dataset

2024 IEEE 17th International Conference on Software Testing, Verification and Validation (ICST)
2024-05 | Conference paper
URI:

https://doi.ieeecomputersociety.org/
Contributors: Aayush Garg and Renzo Degiovanni and Mike Papadakis and Yves Le Traon
Source: Self-asserted source
Renzo Degiovanni

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

2024 IEEE/ACM 46th International Conference on Software Engineering (ICSE)
2024-04 | Conference paper
Part of ISSN: 1558-1225
Contributors: L. Carvalho; R. Degiovanni; M. Cordy; N. Aguirre; Y. Le Traon; M. Papadakis
Source: Self-asserted source
Renzo Degiovanni

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

2024-04-12 | Conference paper
DOI: 10.1145/3597503.3639087
Contributors: Luiz Carvalho; Renzo Degiovanni; Maxime Cordy; Nazareno Aguirre; Yves Le Traon; Mike Papadakis
Source: check_circle
Crossref

ACoRe: Automated Goal-Conflict Resolution

Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings
2023 | Conference paper
DOI: 10.1007/978-3-031-30826-0\_1
Contributors: Luiz Carvalho and Renzo Degiovanni and Matías Brizzio and Maxime Cordy and Nazareno Aguirre and Yves Le Traon and Mike Papadakis; Leen Lambers and Sebastián Uchitel
Source: Self-asserted source
Renzo Degiovanni

Enabling Efficient Assertion Inference

34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023
2023 | Conference paper
DOI: 10.1109/ISSRE59848.2023.00039
Contributors: Aayush Garg and Renzo Degiovanni and Facundo Molina and Maxime Cordy and Nazareno Aguirre and Mike Papadakis and Yves Le Traon
Source: Self-asserted source
Renzo Degiovanni

On Comparing Mutation Testing Tools through Learning-based Mutant Selection

IEEE/ACM International Conference on Automation of Software Test, AST 2023, Melbourne, Australia, May 15-16, 2023
2023 | Conference paper
DOI: 10.1109/AST58925.2023.00008
Contributors: Milos Ojdanic and Ahmed Khanfir and Aayush Garg and Renzo Degiovanni and Mike Papadakis and Yves Le Traon
Source: Self-asserted source
Renzo Degiovanni

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

IEEE Transactions on Software Engineering
2023-07 | Journal article
DOI: 10.1109/TSE.2023.3277564
Contributors: Milos Ojdanic; Aayush Garg; Ahmed Khanfir; Renzo Degiovanni; Mike Papadakis; Yves Le Traon
Source: check_circle
Crossref

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting

2023-07-15 | Conference paper
DOI: 10.1145/3583131.3590454
Contributors: Matías Brizzio; Maxime Cordy; Mike Papadakis; César Sánchez; Nazareno Aguirre; Renzo Degiovanni
Source: check_circle
Crossref

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

ACM Transactions on Software Engineering and Methodology
2023-01-31 | Journal article
DOI: 10.1145/3530786
Contributors: Milos Ojdanic; Ezekiel Soremekun; Renzo Degiovanni; Mike Papadakis; Yves Le Traon
Source: check_circle
Crossref

Cerebro: Static Subsuming Mutant Selection

IEEE Transactions on Software Engineering
2023-01-01 | Journal article
DOI: 10.1109/TSE.2022.3140510
Contributors: Aayush Garg; Milos Ojdanic; Renzo Degiovanni; Thierry Titcheu Chekam; Mike Papadakis; Yves Le Traon
Source: check_circle
Crossref

\(µ\)Bert: Mutation Testing using Pre-Trained Language Models

15th IEEE International Conference on Software Testing, Verification and Validation Workshops ICST Workshops 2022, Valencia, Spain, April 4-13, 2022
2022 | Conference paper
DOI: 10.1109/ICSTW55395.2022.00039
Contributors: Renzo Degiovanni and Mike Papadakis
Source: Self-asserted source
Renzo Degiovanni

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

Empir. Softw. Eng.
2022 | Journal article
DOI: 10.1007/S10664-022-10197-4
Contributors: Aayush Garg and Renzo Degiovanni and Matthieu Jimenez and Maxime Cordy and Mike Papadakis and Yves Le Traon
Source: Self-asserted source
Renzo Degiovanni

An evolutionary approach to translating operational specifications into declarative specifications

Sci. Comput. Program.
2019 | Journal article
DOI: 10.1016/J.SCICO.2019.05.006
Contributors: Facundo Molina and César Cornejo and Renzo Degiovanni and Germán Regis and Pablo F. Castro and Nazareno Aguirre and Marcelo F. Frias
Source: Self-asserted source
Renzo Degiovanni

Training binary classifiers as data structure invariants

Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019
2019 | Conference paper
DOI: 10.1109/ICSE.2019.00084
Contributors: Facundo Molina and Renzo Degiovanni and Pablo Ponzio and Germán Regis and Nazareno Aguirre and Marcelo F. Frias; Joanne M. Atlee and Tevfik Bultan and Jon Whittle
Source: Self-asserted source
Renzo Degiovanni

A genetic algorithm for goal-conflict identification

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018
2018 | Conference paper
DOI: 10.1145/3238147.3238220
Contributors: Renzo Degiovanni and Facundo Molina and Germán Regis and Nazareno Aguirre; Marianne Huchard and Christian Kästner and Gordon Fraser
Source: Self-asserted source
Renzo Degiovanni

From operational to declarative specifications using a genetic algorithm

Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018
2018 | Conference paper
DOI: 10.1145/3194718.3194725
Contributors: Facundo Molina and Renzo Degiovanni and Germán Regis and Pablo F. Castro and Nazareno Aguirre and Marcelo F. Frias; Juan Pablo Galeotti and Alessandra Gorla
Source: Self-asserted source
Renzo Degiovanni

Goal-conflict likelihood assessment based on model counting

Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018
2018 | Conference paper
DOI: 10.1145/3180155.3180261
Contributors: Renzo Degiovanni and Pablo F. Castro and Marcelo Arroyo and Marcelo Ruiz and Nazareno Aguirre and Marcelo F. Frias; Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman
Source: Self-asserted source
Renzo Degiovanni

Improving lazy abstraction for SCR specifications through constraint relaxation

Softw. Test. Verification Reliab.
2018 | Journal article
DOI: 10.1002/STVR.1657
Contributors: Renzo Degiovanni and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias
Source: Self-asserted source
Renzo Degiovanni

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

10th IEEE/ACM International Workshop on Search-Based Software Testing, SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017
2017 | Conference paper
DOI: 10.1109/SBST.2017.12
Contributors: Luciano Zemín and Simón Gutiérrez Brida and Ariel Godio and César Cornejo and Renzo Degiovanni and Germán Regis and Nazareno Aguirre and Marcelo F. Frias
Source: Self-asserted source
Renzo Degiovanni

CLTSA: labelled transition system analyser with counting fluent support

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017
2017 | Conference paper
DOI: 10.1145/3106237.3122828
Contributors: Germán Regis and Renzo Degiovanni and Nicolás D'Ippolito and Nazareno Aguirre; Eric Bodden and Wilhelm Schäfer and Arie van Deursen and Andrea Zisman
Source: Self-asserted source
Renzo Degiovanni

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
2016 | Conference paper
DOI: 10.1007/978-3-319-49815-7\_9
Contributors: Facundo Molina and César Cornejo and Renzo Degiovanni and Germán Regis and Pablo F. Castro and Nazareno Aguirre and Marcelo F. Frias; Leila Ribeiro and Thierry Lecomte
Source: Self-asserted source
Renzo Degiovanni

Goal-conflict detection based on temporal satisfiability checking

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016
2016 | Conference paper
DOI: 10.1145/2970276.2970349
Contributors: Renzo Degiovanni and Nicolás Ricci and Dalal Alrajeh and Pablo F. Castro and Nazareno Aguirre; David Lo and Sven Apel and Sarfraz Khurshid
Source: Self-asserted source
Renzo Degiovanni

Specifying Event-Based Systems with a Counting Fluent Temporal Logic

37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1
2015 | Conference paper
DOI: 10.1109/ICSE.2015.86
Contributors: Germán Regis and Renzo Degiovanni and Nicolás D'Ippolito and Nazareno Aguirre; Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum
Source: Self-asserted source
Renzo Degiovanni

Automated goal operationalisation based on interpolation and SAT solving

36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014
2014 | Conference paper
DOI: 10.1145/2568225.2568323
Contributors: Renzo Degiovanni and Dalal Alrajeh and Nazareno Aguirre and Sebastián Uchitel; Pankaj Jalote and Lionel C. Briand and André van der Hoek
Source: Self-asserted source
Renzo Degiovanni

Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking

Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013
2013 | Conference paper
DOI: 10.4204/EPTCS.139.8
Contributors: Gastón Scilingo and María Marta Novaira and Renzo Degiovanni; Nazareno Aguirre and Leila Ribeiro
Source: Self-asserted source
Renzo Degiovanni

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

2013 XXXIX Latin American Computing Conference (CLEI), Caracas (Naiguata), Venezuela, October 7-11, 2013
2013 | Conference paper
DOI: 10.1109/CLEI.2013.6670611
Contributors: Gastón Scilingo and María Marta Novaira and Renzo Degiovanni and Nazareno Aguirre
Source: Self-asserted source
Renzo Degiovanni

Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications

Tests and Proofs - 5th International Conference, TAP@TOOLS 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings
2011 | Conference paper
DOI: 10.1007/978-3-642-21768-5\_8
Contributors: Renzo Degiovanni and Pablo Ponzio and Nazareno Aguirre and Marcelo F. Frias; Martin Gogolla and Burkhart Wolff
Source: Self-asserted source
Renzo Degiovanni
How many people are using ORCID?