JUAN PABLO GALEOTTI

Datos académicos

Lugar de trabajo	UNIVERSIDAD DE BUENOS AIRES / FACULTAD DE CIENCIAS EXACTAS Y NATURALES / DEPARTAMENTO DE COMPUTACION
Título	DOCTOR DE LA UNIVERSIDAD DE BUENOS AIRES, ORIENTACION CIENCIAS DE LA COMPUTACION
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Otros campos
Especialidad	Ingeniería del Software

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-9 de 9

Artículo An Empirical Study on How Sapienz Achieves Coverage and Crash Detection

Arcuschin, Iván; Galeotti, Juan Pablo ; Garbervetsky, Diego David (John Wiley & Sons, 2023-04)
Artículo Enabledness-based Testing of Object Protocols

Godoy, Javier Ignacio; Galeotti, Juan Pablo ; Garbervetsky, Diego David ; Uchitel, Sebastian (Association for Computing Machinery, 2021-03)
Artículo Enhancing Search-based Testing with Testability Transformations for Existing APIs

Arcuri, Andrea; Galeotti, Juan Pablo (Association for Computing Machinery, 2022-01)
Artículo EvoMaster: A Search-Based System Test Generation Tool

Arcuri, Andrea; Galeotti, Juan Pablo ; Marculescu, Bogdan; Zhang, Man (Journal of Open Source Software, 2021-01)
Artículo Inferring loop invariants by mutation, dynamic analysis, and static checking

Galeotti, Juan Pablo ; Furia, Carlo A.; May, Eva; Fraser, Gordon; Zeller, Andreas (IEEE Computer Society, 2015-10)
Artículo JTACO: Test Execution for Faster Bounded Verification

Kampmann, Alexander; Galeotti, Juan Pablo ; Zeller, Andreas (Springer, 2014-07)
Artículo Practical JFSL verification using TACO

Chicote, Marcos; Ciolek, Daniel Alfredo ; Galeotti, Juan Pablo (Wiley, 2013-11)
Artículo TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds

Galeotti, Juan Pablo ; Rosner, Nicolas Leandro ; Lopez Pombo, Carlos Gustavo ; Frias, Marcelo Fabian (IEEE Computer Society, 2013-03)
Artículo TacoFlow: optimizing SAT program verification using dataflow analysis

Cuervo Parrino, Bruno; Galeotti, Juan Pablo ; Garbervetsky, Diego David ; Frias, Marcelo Fabian (Springer Heidelberg, 2015-01)

Mostrando ítems 1-9 de 9