Registered user since Mon 4 Dec 2017
Name: Renzo Degiovanni
Bio: Currently, I am a Post-doc at the Department of Computer Science at the Universidad Nacional de Río Cuarto, Argentina. I am working in the area of software requirement engineering. Precisely, I am interested to use automated analysis in the elaboration and validation of software requirements.
Affiliation: Universidad Nacional de Río Cuarto
Personal website: http://dc.exa.unrc.edu.ar/staff/rdegiovanni/en/index.html
Research interests: Requirements Engineering, Software Testing, Model Checking, SAT Solving
|ICSE 2019||Author of Training Binary Classifiers as Data Structure Invariants within the Technical Papers-track|
|Show activities from other conferences|