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

AST 2022 Author of On the feasibility and challenges of synthesizing executable Espresso tests within the AST 2022-track
ICSE 2023 Program Committee Member in Technical Track within the Technical Track-track
ICST 2021 Committee Member in Program Committee within the Research Papers-track
AST 2020 Author of Algorithm or Representation? An Empirical Study on How SAPIENZ Achieves Coverage within the AST 2020-track
ESEC/FSE 2020 Committee Member in Program Committee within the Research Papers-track
ICST 2020 Committee Member in Program Committee within the Research Papers-track
Author of Testability Transformations For Existing APIs within the Research Papers-track
Author of EvoMaster: Search-Based System Test Generation for RESTful APIs within the Tool Demos Track-track
LANGETI'19 Committee Member in Program Committee within the LANGETI'19 (Canceled)-track
ICSE 2020 Programme Committee in Program Committee within the Technical Papers-track
ICSE 2019 Committee Member in Program Committee within the Demonstrations-track