Juan P. Galeotti

28 papers A* 2A 7B 1C 1Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generating REST API Tests With Descriptive Names.
CoRR
Philip Garrett, Juan P. Galeotti, Andrea Arcuri, Alexander Poth, Olsi Rrjolli
2025 J jnl
Search-Based Fuzzing For RESTful APIs That Use MongoDB.
CoRR
Hernan Ghianni, Man Zhang, Juan P. Galeotti, Andrea Arcuri
2024 J jnl
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs.
ACM Trans. Softw. Eng. Methodol.
Andrea Arcuri, Man Zhang, Juan P. Galeotti
2024 A conf
Brewing Up Reliability: Espresso Test Generation for Android Apps.
ICST
Iván Arcuschin, Lisandro Di Meo, Michael Auer, Juan P. Galeotti, Gordon Fraser
2023 A conf
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research.
ICST
Andrea Arcuri, Man Zhang, Amid Golmohammadi, Asma Belhadi, Juan P. Galeotti, Bogdan Marculescu, Susruthan Seran
2022 J jnl
Enhancing Search-based Testing with Testability Transformations for Existing APIs.
ACM Trans. Softw. Eng. Methodol.
Andrea Arcuri, Juan P. Galeotti
2021 — conf
EvoSuiteDSE at the SBST 2021 Tool Competition.
SBST@ICSE
Ignacio Manuel Lebrero Rial, Juan P. Galeotti
2020 J jnl
Handling SQL Databases in Automated System Test Generation.
ACM Trans. Softw. Eng. Methodol.
Andrea Arcuri, Juan P. Galeotti
2020 A conf
Testability Transformations For Existing APIs.
ICST
Andrea Arcuri, Juan P. Galeotti
2019 A conf
SQL data generation to enhance search-based system testing.
GECCO
Andrea Arcuri, Juan P. Galeotti
2016 — conf
Unit testing tool competition: round four.
SBST@ICSE
Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos
2015 J jnl
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.
IEEE Trans. Software Eng.
Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
2015 — conf
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing.
SBST@ICSE
Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller
2014 J jnl
Automating Full Functional Verification of Programs with Loops.
CoRR
Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
2013 A conf
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.
ICST
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
2013 A conf
Parallel bounded analysis in code with rich invariants by refinement of field bounds.
ISSTA
Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias
2013 J jnl
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.
IEEE Trans. Software Eng.
Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo, Marcelo F. Frias
2011 B conf
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.
SEFM
Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias
2011 — conf
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs.
TAP@TOOLS
Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti
2010 — conf
Alloy+HotCore: A Fast Approximation to Unsat Core.
ASM
Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera
2010 A conf
Analysis of invariants for efficient bounded verification.
ISSTA
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias
2010 — conf
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models.
ASM
Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo, Marcelo F. Frias
2009 A* conf
Intra-module Inference.
CAV
Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies
2008 J jnl
Dynamic Software Architectures Verification using DynAlloy.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Antonio Bucchiarone, Juan P. Galeotti
2008 C conf
Towards Abstraction for DynAlloy Specifications.
ICFEM
Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis
2007 J jnl
Efficient Analysis of DynAlloy Specifications.
ACM Trans. Softw. Eng. Methodol.
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre
2006 — conf
DynAlloy as a Formal Method for the Analysis of Java Programs.
SET
Juan P. Galeotti, Marcelo F. Frias
2005 A* conf
DynAlloy: upgrading alloy with actions.
ICSE
Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre