Renzo Degiovanni

Registered user since Mon 4 Dec 2017

Name:Renzo Degiovanni
Bio:

Currently, I am a Research Associate at SnT, University of Luxembourg. I am working in the area of software requirement engineering and software testing. Precisely, I am interested to use automated analysis for the validation and verification of software artefacts.

Current website: https://wwwfr.uni.lu/snt/people/renzo_degiovanni

Previous website: http://dc.exa.unrc.edu.ar/staff/rdegiovanni/en/index.html

Country:Luxembourg
Affiliation:SnT, University of Luxembourg
Research interests:Requirements Engineering, Software Testing, Model Checking, SAT Solving

Contributions

ESEC/FSE 2021 Committee Member in Program Committee within the Demonstrations-track
ICSE 2022 Committee Member in Program Committee within the DEMO - Demonstrations-track
ISSTA 2020 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
ICSE 2019 Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track
ISSTA 2018 Committee Member in Artifact Evaluation Committee within the ISSTA Artifacts-track
* ICSE 2018 * Author of Goal-Conflict Likelihood Assessment based on Model Counting within the Technical Papers -track