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-12 de 12

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

Arcuri, Andrea; Zhang, Man; Galeotti, Juan Pablo (Association for Computing Machinery, 2024-03)
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 JUGE: An Infrastructure for Benchmarking Java Unit Test Generators

Devroey, Xavier; Gambi, Alessio; Galeotti, Juan Pablo ; Just, René; Kifetew, Fitsum; Panichella, Annibale; Panichella, Sebastiano (John Wiley & Sons Ltd, 2023-06)
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)
Artículo Tool report: EvoMaster—black and white box search-based fuzzing for REST, GraphQL and RPC APIs

Arcuri, Andrea; Zhang, Man; Seran, Susruthan; Galeotti, Juan Pablo ; Golmohammadi, Amid; Duman, Onur; Aldasoro, Agustina; Ghianni, Hernan (Springer, 2024-11)

Mostrando ítems 1-12 de 12