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
Personal website:https://wwwfr.uni.lu/snt/people/renzo_degiovanni
Research interests:Requirements Engineering, Software Testing, Model Checking, SAT Solving
Contributions
| ICSE 2019 | Training Binary Classifiers as Data Structure Invariants | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2019-profile
View general profile
View general profile