Registered user since Thu 7 Feb 2019
Name:Juan Pablo Galeotti
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
Research interests:Testing, Software Engineering, Program Analysis
|ICST 2023|| JUGE: An infrastructure for benchmarking Java unit test generators|
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research
|Show activities from other conferences|
Using general profile