Registered user since Thu 7 Feb 2019
I am a professor at University of Buenos Aires (UBA). I am also a researcher at CONICET and a member of LIA-INFINIS laboratory.
My main research interests are Automatic Test Generation, Specification Inference and Program Verification. I am also very fond of decision procedures such as SMT and SAT.
|AST 2020||Algorithm or Representation? An Empirical Study on How SAPIENZ Achieves Coverage|
|ICSE 2020||Programme Committee in Program Committee within the Technical Papers-track|
|Show activities from other conferences|
View general profile