Home

Nowadays

I'm Lecturer at the Department of Computer Science and the Department of Mathematics at the National University of Río Cuarto, Argentina.

Interests

I am working in the area of software requirement engineering and software testing. I am interested to develop automated techniques for the validation and verification of software artifacts.




News

  • Full research paper accepted at ICSE 2018: Goal-Conflict Likelihood Assessment based on Model Counting.
  • Journal accepted at STVR: Improving lazy abstraction for SCR specifications through constraint relaxation.
  • Recent Professional Activities

  • Committee of ISSTA 2018 Artifacts.
  • Student Volunteers Co-Chair of ICSE 2017.