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.
Country: Argentina
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
Contributions
| ICSE 2019 | Author of Training Binary Classifiers as Data Structure Invariants within the Technical Track-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile