Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Juan Pablo Galeotti

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.

Country:Argentina
Affiliation:University of Buenos Aires
Research interests:Testing, Software Engineering, Program Analysis

Contributions

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

ICST 2020-profile
View general profile