Home // SnT // People // Renzo Degiovanni

Dr. Renzo Degiovanni

Renzo Degiovanni

Research scientist

Faculty or Centre Interdisciplinary Centre for Security, Reliability and Trust
Department SerVal
Postal Address Campus Kirchberg, Université du Luxembourg
6, rue Richard Coudenhove-Kalergi
L-1359 Luxembourg
Campus Office E 009
Telephone (+352) 46 66 44 5763

Renzo Degiovanni received his PhD in Computer Science from the National University of Córdoba (Argentina), in 2015. His research interests lie in software engineering, in particular the area of software validation and verification. Renzo joined the Security Design and Validation research group, SERVAL, headed by Prof. Yves Le Traon.

Last updated on: Thursday, 16 May 2019

powered by


See detailCerebro: Static Subsuming Mutant Selection
Garg, Aayush; Ojdanic, Milos; Degiovanni, Renzo Gaston; Titcheu Chekam, Thierry; Papadakis, Mike; Le Traon, Yves

E-print/Working paper (2021)

See detailSyntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies
Ojdanic, Milos; Garg, Aayush; Khanfir, Ahmed; Degiovanni, Renzo Gaston; Papadakis, Mike; Le Traon, Yves

E-print/Working paper (2021)

Top of Page


See detailLearning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach
Garg, Aayush; Degiovanni, Renzo Gaston; Jimenez, Matthieu; Cordy, Maxime; Papadakis, Mike; Le Traon, Yves

E-print/Working paper (2020)

Top of Page


Full Text
See detailAn evolutionary approach to translating operational specifications into declarative specifications
Molina, Facundo; Cornejo, César; Degiovanni, Renzo Gaston; Regis, Germán; Castro, Pablo F.; Aguirre, Nazareno; Frias, Marcelo F.

in Science of Computer Programming (2019), 181

Full Text
See detailTraining binary classifiers as data structure invariants
Molina, Facundo; Degiovanni, Renzo Gaston; Ponzio, Pablo; Regis, Germán; Aguirre, Nazareno; Frias, Marcelo F.

in Proceedings of the 41st International Conference on Software Engineering ICSE 2019, Montreal, QC, Canada, May 25-31, 2019 (2019)

Top of Page