DynAlloy: upgrading alloy with actions. - Marcelo F. Frias; Juan P. Galeotti; Carlos López Pombo; Nazareno Aguirre (ICSE, 2005)

DynAlloy as a Formal Method for the Analysis of Java Programs. - Juan P. Galeotti; Marcelo F. Frias (SET, 2006)

Efficient Analysis of DynAlloy Specifications. - Marcelo F. Frias; Carlos López Pombo; Juan P. Galeotti; Nazareno Aguirre (ACM Trans. Softw. Eng. Methodol., 2007)

Towards Abstraction for DynAlloy Specifications. - Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio; Brian J. Cardiff; Juan P. Galeotti; Germán Regis (ICFEM, 2008)

Dynamic Software Architectures Verification using DynAlloy. - Antonio Bucchiarone; Juan P. Galeotti (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Intra-module Inference. - Shuvendu K. Lahiri; Shaz Qadeer; Juan P. Galeotti; Jan W. Voung; Thomas Wies (CAV, 2009)

Alloy+HotCore: A Fast Approximation to Unsat Core. - Nicolás D'Ippolito; Marcelo F. Frias; Juan P. Galeotti; Esteban Lanzarotti; Sergio Mera (ASM, 2010)

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. - Nicolás Rosner; Juan P. Galeotti; Carlos López Pombo; Marcelo F. Frias (ASM, 2010)

Analysis of invariants for efficient bounded verification. - Juan P. Galeotti; Nicolás Rosner; Carlos López Pombo; Marcelo F. Frias (ISSTA, 2010)

A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. - Bruno Cuervo Parrino; Juan P. Galeotti; Diego Garbervetsky; Marcelo F. Frias (SEFM, 2011)

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. - Nazareno Aguirre; Valeria S. Bengolea; Marcelo F. Frias; Juan P. Galeotti (TAP@TOOLS, 2011)

TacoPlug: an Eclipse plug-in for TACO. - Marcos Chicote; Juan Pablo Galeotti (TOPI@ICSE, 2012)

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. - 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 (ICST, 2013)

Improving search-based test suite generation with dynamic symbolic execution. - Juan Pablo Galeotti; Gordon Fraser 001; Andrea Arcuri (ISSRE, 2013)

Parallel bounded analysis in code with rich invariants by refinement of field bounds. - Nicolás Rosner; Juan P. Galeotti; Santiago Bermúdez; Guido Marucci Blas; Santiago Perez De Rosso; Lucas Pizzagalli; Luciano Zemín; Marcelo F. Frias (ISSTA, 2013)

The DynAlloy Visualizer. - Pablo Bendersky; Juan Pablo Galeotti; Diego Garbervetsky (LAFM, 2013)

On Verifying Resource Contracts using Code Contracts. - Rodrigo Castaño; Juan Pablo Galeotti; Diego Garbervetsky; Jonathan Tapicer; Edgardo Zoppi (LAFM, 2013)

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. - Juan P. Galeotti; Nicolás Rosner; Carlos Gustavo López Pombo; Marcelo F. Frias (IEEE Trans. Software Eng., 2013)

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. - Juan Pablo Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (Haifa Verification Conference, 2014)

Test generation across multiple layers. - Matthias Höschele; Juan Pablo Galeotti; Andreas Zeller (SBST, 2014)

Extending a search-based test generator with adaptive dynamic symbolic execution. - Juan Pablo Galeotti; Gordon Fraser 001; Andrea Arcuri (ISSTA, 2014)

Automated unit test generation for classes with environment dependencies. - Andrea Arcuri; Gordon Fraser 001; Juan Pablo Galeotti (ASE, 2014)

XMLMate: evolutionary XML test generation. - Nikolas Havrikov; Matthias Höschele; Juan Pablo Galeotti; Andreas Zeller (SIGSOFT FSE, 2014)

JTACO: Test Execution for Faster Bounded Verification. - Alexander Kampmann; Juan Pablo Galeotti; Andreas Zeller (TAP@STAF, 2014)

Automating Full Functional Verification of Programs with Loops. - Juan P. Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (CoRR, 2014)

Practical JFSL verification using TACO. - Marcos Chicote; Daniel Alfredo Ciolek; Juan Pablo Galeotti (Softw. Pract. Exp., 2014)

Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. - Kevin Salvesen; Juan P. Galeotti; Florian Gross; Gordon Fraser 001; Andreas Zeller (SBST@ICSE, 2015)

Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten. - Andrea Arcuri; Gordon Fraser 001; Juan Pablo Galeotti (Software Engineering & Management, 2015)

Generating TCP/UDP network data for automated unit test generation. - Andrea Arcuri; Gordon Fraser 001; Juan Pablo Galeotti (ESEC/SIGSOFT FSE, 2015)

TacoFlow: optimizing SAT program verification using dataflow analysis. - Bruno Cuervo Parrino; Juan Pablo Galeotti; Diego Garbervetsky; Marcelo F. Frias (Softw. Syst. Model., 2015)

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. - Juan P. Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (IEEE Trans. Software Eng., 2015)

Unit testing tool competition: round four. - Urko Rueda; René Just; Juan P. Galeotti; Tanja E. J. Vos (SBST@ICSE, 2016)

10th International Workshop on Search-Based Software Testing (SBST 2017). - Juan Pablo Galeotti; Justyna Petke (SBST@ICSE, 2017)

Generating Unit Tests with Structured System Interactions. - Nikolas Havrikov; Alessio Gambi; Andreas Zeller; Andrea Arcuri; Juan Pablo Galeotti (AST@ICSE, 2017)

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. - Germán Regis; César Cornejo; Simón Gutiérrez Brida; Mariano Politano; Fernando D. Raverta; Pablo Ponzio; Nazareno Aguirre; Juan Pablo Galeotti; Marcelo F. Frias (ESEC/SIGSOFT FSE, 2017)

How Do Automatically Generated Unit Tests Influence Software Maintenance? - Sina Shamshiri; José Miguel Rojas; Juan Pablo Galeotti; Neil Walkinshaw; Gordon Fraser 001 (ICST, 2018)

SQL data generation to enhance search-based system testing. - Andrea Arcuri; Juan P. Galeotti (GECCO, 2019)

Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage. - Iván Arcuschin Moreno; Juan Pablo Galeotti; Diego Garbervetsky (AST@ICSE, 2020)

Testability Transformations For Existing APIs. - Andrea Arcuri; Juan P. Galeotti (ICST, 2020)

Handling SQL Databases in Automated System Test Generation. - Andrea Arcuri; Juan P. Galeotti (ACM Trans. Softw. Eng. Methodol., 2020)

EvoSuiteDSE at the SBST 2021 Tool Competition. - Ignacio Manuel Lebrero Rial; Juan P. Galeotti (SBST@ICSE, 2021)

EvoMaster: A Search-Based System Test Generation Tool. - Andrea Arcuri; Juan Pablo Galeotti; Bogdan Marculescu; Man Zhang 001 (J. Open Source Softw., 2021)

Enabledness-based Testing of Object Protocols. - Javier Godoy; Juan Pablo Galeotti; Diego Garbervetsky; Sebastián Uchitel (ACM Trans. Softw. Eng. Methodol., 2021)

On the feasibility and challenges of synthesizing executable Espresso tests. - Iván Arcuschin; Juan Pablo Galeotti; Christian Ciccaroni; José Miguel Rojas (AST@ICSE, 2022)

Predicate abstractions for smart contract validation. - Javier Godoy; Juan Pablo Galeotti; Diego Garbervetsky; Sebastián Uchitel (MoDELS, 2022)

Enhancing Search-based Testing with Testability Transformations for Existing APIs. - Andrea Arcuri; Juan P. Galeotti (ACM Trans. Softw. Eng. Methodol., 2022)

EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research. - Andrea Arcuri; Man Zhang 001; Amid Golmohammadi; Asma Belhadi; Juan P. Galeotti; Bogdan Marculescu; Susruthan Seran (ICST, 2023)

An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. - Iván Arcuschin; Juan Pablo Galeotti; Diego Garbervetsky (J. Softw. Evol. Process., 2023)

JUGE: An infrastructure for benchmarking Java unit test generators. - Xavier Devroey; Alessio Gambi; Juan Pablo Galeotti; René Just; Fitsum Meshesha Kifetew; Annibale Panichella; Sebastiano Panichella (Softw. Test. Verification Reliab., 2023)

Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster. - Andrea Arcuri; Man Zhang 001; Asma Belhadi; Bogdan Marculescu; Amid Golmohammadi; Juan Pablo Galeotti; Susruthan Seran (Softw. Qual. J., 2023)

Brewing Up Reliability: Espresso Test Generation for Android Apps. - Iván Arcuschin; Lisandro Di Meo; Michael Auer; Juan P. Galeotti; Gordon Fraser 001 (ICST, 2024)

Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs. - Andrea Arcuri; Man Zhang 001; Juan P. Galeotti (ACM Trans. Softw. Eng. Methodol., 2024)

Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster. - Andrea Arcuri; Philip Garrett; Juan Pablo Galeotti; Man Zhang 001 (SIGSOFT FSE Companion, 2025)

Tool report: EvoMaster - black and white box search-based fuzzing for REST, GraphQL and RPC APIs. - Andrea Arcuri; Man Zhang 001; Susruthan Seran; Juan Pablo Galeotti; Amid Golmohammadi; Onur Duman; Agustina Aldasoro; Hernan Ghianni (Autom. Softw. Eng., 2025)

Search-Based Fuzzing For RESTful APIs That Use MongoDB. - Hernan Ghianni; Man Zhang 001; Juan P. Galeotti; Andrea Arcuri (CoRR, 2025)