Registered user since Thu 7 Feb 2019
Name: Juan Pablo Galeotti
Bio: 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.
Affiliation: University of Buenos Aires
Personal website: http://lafhis.dc.uba.ar/~jgaleotti
Research interests: Testing, Software Engineering, Program Analysis
|ICST 2020|| Committee Member in Program Committee within the Research Papers-track|
Testability Transformations For Existing APIs
EvoMaster: Search-Based System Test Generation for RESTful APIs
|Show activities from other conferences|
View general profile