Juan P. Galeotti

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 10

Top Topics

Static Analysis

Test Generation

Simulated Annealing Algorithm

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

Andrea Arcuri, Man Zhang, Juan P. Galeotti
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs. ACM Trans. Softw. Eng. Methodol. 33 (6) (2024)
Andrea Arcuri, Man Zhang, Amid Golmohammadi, Asma Belhadi, Juan P. Galeotti, Bogdan Marculescu, Susruthan Seran
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research. ICST (2023)
Andrea Arcuri, Juan P. Galeotti
Enhancing Search-based Testing with Testability Transformations for Existing APIs. ACM Trans. Softw. Eng. Methodol. 31 (1) (2022)
Ignacio Manuel Lebrero Rial, Juan P. Galeotti
EvoSuiteDSE at the SBST 2021 Tool Competition. SBST@ICSE (2021)
Andrea Arcuri, Juan P. Galeotti
Testability Transformations For Existing APIs. ICST (2020)
Andrea Arcuri, Juan P. Galeotti
Handling SQL Databases in Automated System Test Generation. ACM Trans. Softw. Eng. Methodol. 29 (4) (2020)
Andrea Arcuri, Juan P. Galeotti
SQL data generation to enhance search-based system testing. GECCO (2019)
Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos
Unit testing tool competition: round four. SBST@ICSE (2016)
Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. SBST@ICSE (2015)
Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. 41 (10) (2015)
Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
Automating Full Functional Verification of Programs with Loops. CoRR (2014)
Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST (2013)
Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias
Parallel bounded analysis in code with rich invariants by refinement of field bounds. ISSTA (2013)
Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Trans. Software Eng. 39 (9) (2013)
Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP@TOOLS (2011)
Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. SEFM (2011)
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM (2010)
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
Alloy+HotCore: A Fast Approximation to Unsat Core. ASM (2010)
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias
Analysis of invariants for efficient bounded verification. ISSTA (2010)
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
Intra-module Inference. CAV (2009)
Antonio Bucchiarone, Juan P. Galeotti
Dynamic Software Architectures Verification using DynAlloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008)
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
Towards Abstraction for DynAlloy Specifications. ICFEM (2008)
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre
Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17 (1) (2007)
Juan P. Galeotti, Marcelo F. Frias
DynAlloy as a Formal Method for the Analysis of Java Programs. SET (2006)
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre
DynAlloy: upgrading alloy with actions. ICSE (2005)