Write a Blog >>
ICSE 2020
Wed 24 June - Thu 16 July 2020
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

Personal website: http://lafhis.dc.uba.ar/~jgaleotti

Research interests: Testing, Software Engineering, Program Analysis


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

ICSE 2020-profile
View general profile