CUFinder

Renzo Degiovanni

About Renzo Degiovanni

Renzo Degiovanni, With an exceptional h-index of 11 and a recent h-index of 10 (since 2020), a distinguished researcher at Université du Luxembourg, specializes in the field of Software Engineering, Software Testing, Requirements Engineering.

His recent articles reflect a diverse array of research interests and contributions to the field:

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

Abstraction-Aware Inference of Metamorphic Relations

Automated repair of unrealisable LTL specifications guided by model counting

Syntactic vs. semantic similarity of artificial and real faults in mutation testing studies

On comparing mutation testing tools through learning-based mutant selection

Vulnerability Mimicking Mutants

Mutation testing in evolving systems: Studying the relevance of mutants to code evolution

Specification Inference for Evolving Systems

Renzo Degiovanni Information

University

Position

SnT

Citations(all)

249

Citations(since 2020)

210

Cited By

76

hIndex(all)

11

hIndex(since 2020)

10

i10Index(all)

11

i10Index(since 2020)

10

Email

University Profile Page

Google Scholar

Renzo Degiovanni Skills & Research Interests

Software Engineering

Software Testing

Requirements Engineering

Top articles of Renzo Degiovanni

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

2024/4/12

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Maxime Cordy
Maxime Cordy

H-Index: 16

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Yves Le Traon
Yves Le Traon

H-Index: 47

Mike Papadakis
Mike Papadakis

H-Index: 31

Abstraction-Aware Inference of Metamorphic Relations

2024

Facundo Molina
Facundo Molina

H-Index: 3

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Sebastian Uchitel
Sebastian Uchitel

H-Index: 20

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Automated repair of unrealisable LTL specifications guided by model counting

2023/7/15

Maxime Cordy
Maxime Cordy

H-Index: 16

Mike Papadakis
Mike Papadakis

H-Index: 31

César Sánchez
César Sánchez

H-Index: 4

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Syntactic vs. semantic similarity of artificial and real faults in mutation testing studies

IEEE Transactions on Software Engineering

2023/5/26

Aayush Garg
Aayush Garg

H-Index: 5

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Yves Le Traon
Yves Le Traon

H-Index: 47

On comparing mutation testing tools through learning-based mutant selection

2023/5/15

Aayush Garg
Aayush Garg

H-Index: 5

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Yves Le Traon
Yves Le Traon

H-Index: 47

Vulnerability Mimicking Mutants

arXiv preprint arXiv:2303.04247

2023/3/7

Aayush Garg
Aayush Garg

H-Index: 5

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Yves Le Traon
Yves Le Traon

H-Index: 47

Mutation testing in evolving systems: Studying the relevance of mutants to code evolution

ACM Transactions on Software Engineering and Methodology

2023/2/13

Ezekiel Soremekun
Ezekiel Soremekun

H-Index: 5

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Yves Le Traon
Yves Le Traon

H-Index: 47

Specification Inference for Evolving Systems

arXiv preprint arXiv:2301.12403

2023/1/29

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Facundo Molina
Facundo Molina

H-Index: 3

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Mike Papadakis
Mike Papadakis

H-Index: 31

Efficient mutation testing via pre-trained language models

arXiv preprint arXiv:2301.03543

2023/1/9

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Yves Le Traon
Yves Le Traon

H-Index: 47

ACoRe: automated goal-conflict resolution

26th International Conference on Fundamental Approaches to Software Engineering (FASE)

2023

Maxime Cordy
Maxime Cordy

H-Index: 16

Nazareno Aguirre
Nazareno Aguirre

H-Index: 11

Yves Le Traon
Yves Le Traon

H-Index: 47

Mike Papadakis
Mike Papadakis

H-Index: 31

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

Empirical Software Engineering

2022/12

Aayush Garg
Aayush Garg

H-Index: 5

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Maxime Cordy
Maxime Cordy

H-Index: 16

Mike Papadakis
Mike Papadakis

H-Index: 31

Yves Le Traon
Yves Le Traon

H-Index: 47

µbert: Mutation testing using pre-trained language models

2022/4/4

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Cerebro: Static subsuming mutant selection

IEEE Transactions on Software Engineering

2022/1/11

Aayush Garg
Aayush Garg

H-Index: 5

Renzo Degiovanni
Renzo Degiovanni

H-Index: 5

Mike Papadakis
Mike Papadakis

H-Index: 31

Yves Le Traon
Yves Le Traon

H-Index: 47

See List of Professors in Renzo Degiovanni University(Université du Luxembourg)