Juan Pablo Galeotti - Publications, H-index & Citations

Back

Juan Pablo Galeotti

university of buenos aires

18H-index

65Paper Count

991Citation Count

Published Papers 8

Publication Date

Automated construction of predicate abstractions for smart contract validation

SOFTWARE AND SYSTEMS MODELING

IF3.2

2025-10-01

PREAI

Godoy, Javier; Torres, Eden; Galeotti, Juan P.; Garbervetsky, Diego; Uchitel, Sebastian

Save

Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2024-06-27

OAAI

Arcuri, Andrea; Zhang, Man; Pablo Galeotti, Juan

Save

Enhancing Search-based Testing with Testability Transformations for Existing APIs

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2021-09-28

OAAI

Arcuri, Andrea; Galeotti, Juan P.

Save

Enabledness-based Testing of Object Protocols

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2021-01-03

OAAI

Godoy, Javier; Pablo Galeotti, Juan; Garbervetsky, Diego; Uchitel, Sebastian

Save

Handling SQL Databases in Automated System Test Generation

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2020-07-06

PREAI

Arcuri, Andrea; Galeotti, Juan P.

Save

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2015-10-01

OAAI

Galeotti, Juan P.; Furia, Carlo A.; May, Eva; Fraser, Gordon; Zeller, Andreas

Save

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2013-09-01

OAAI

Galeotti, Juan P.; Rosner, Nicolas; Lopez Pombo, Carlos G.; Frias, Marcelo F.

Save

Efficient analysis of DynAlloy specifications

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2007-12-12

PREAI

Frias, Marcelo F.; Pombo, Carlos G. Lopez; Galeotti, Juan P.; Aguirre, Nazareno M.

Save

Research Directions