Juan P. Galeotti

According to our database, Juan P. Galeotti authored at least 53 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Tool report: EvoMaster - black and white box search-based fuzzing for REST, GraphQL and RPC APIs.

Andrea Arcuri, Man Zhang, Susruthan Seran, Juan Pablo Galeotti, Amid Golmohammadi, Onur Duman, Agustina Aldasoro, Hernan Ghianni

Autom. Softw. Eng., June, 2025

2024

Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs.

Andrea Arcuri, Man Zhang, Juan P. Galeotti

ACM Trans. Softw. Eng. Methodol., July, 2024

Brewing Up Reliability: Espresso Test Generation for Android Apps.

Iván Arcuschin, Lisandro Di Meo, Michael Auer, Juan P. Galeotti, Gordon Fraser

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2023

Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster.

Andrea Arcuri, Man Zhang, Asma Belhadi, Bogdan Marculescu, Amid Golmohammadi, Juan Pablo Galeotti, Susruthan Seran

Softw. Qual. J., September, 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., May, 2023

An Empirical Study on How Sapienz Achieves Coverage and Crash Detection.

Iván Arcuschin, Juan Pablo Galeotti, Diego Garbervetsky

J. Softw. Evol. Process., April, 2023

EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research.

Andrea Arcuri, Man Zhang, Amid Golmohammadi, Asma Belhadi, Juan P. Galeotti, Bogdan Marculescu, Susruthan Seran

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022

Enhancing Search-based Testing with Testability Transformations for Existing APIs.

Andrea Arcuri, Juan P. Galeotti

ACM Trans. Softw. Eng. Methodol., 2022

Predicate abstractions for smart contract validation.

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

On the feasibility and challenges of synthesizing executable Espresso tests.

Iván Arcuschin, Juan Pablo Galeotti, Christian Ciccaroni, José Miguel Rojas

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021

Enabledness-based Testing of Object Protocols.

Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel

ACM Trans. Softw. Eng. Methodol., 2021

EvoMaster: A Search-Based System Test Generation Tool.

Andrea Arcuri, Juan Pablo Galeotti, Bogdan Marculescu, Man Zhang

J. Open Source Softw., 2021

EvoSuiteDSE at the SBST 2021 Tool Competition.

Ignacio Manuel Lebrero Rial, Juan P. Galeotti

Proceedings of the 14th IEEE/ACM International Workshop on Search-Based Software Testing, 2021

2020

Handling SQL Databases in Automated System Test Generation.

Andrea Arcuri, Juan P. Galeotti

ACM Trans. Softw. Eng. Methodol., 2020

Testability Transformations For Existing APIs.

Andrea Arcuri, Juan P. Galeotti

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage.

Iván Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

2019

SQL data generation to enhance search-based system testing.

Andrea Arcuri, Juan P. Galeotti

Proceedings of the Genetic and Evolutionary Computation Conference, 2019

2018

How Do Automatically Generated Unit Tests Influence Software Maintenance?

Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

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

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Generating Unit Tests with Structured System Interactions.

Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri, Juan Pablo Galeotti

Proceedings of the 12th IEEE/ACM International Workshop on Automation of Software Testing, 2017

10th International Workshop on Search-Based Software Testing (SBST 2017).

Juan Pablo Galeotti, Justyna Petke

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

2016

Unit testing tool competition: round four.

Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos

Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016

2015

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.

Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller

IEEE Trans. Software Eng., 2015

TacoFlow: optimizing SAT program verification using dataflow analysis.

Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias

Softw. Syst. Model., 2015

Generating TCP/UDP network data for automated unit test generation.

Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten.

Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing.

Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller

Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015

2014

Practical JFSL verification using TACO.

Marcos Chicote, Daniel Alfredo Ciolek, Juan Pablo Galeotti

Softw. Pract. Exp., 2014

Automating Full Functional Verification of Programs with Loops.

Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller

CoRR, 2014

JTACO: Test Execution for Faster Bounded Verification.

Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller

Proceedings of the Tests and Proofs - 8th International Conference, 2014

XMLMate: evolutionary XML test generation.

Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, Andreas Zeller

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Automated unit test generation for classes with environment dependencies.

Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Extending a search-based test generator with adaptive dynamic symbolic execution.

Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Test generation across multiple layers.

Matthias Höschele, Juan Pablo Galeotti, Andreas Zeller

Proceedings of the 7th International Workshop on Search-Based Software Testing, 2014

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.

Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller

Proceedings of the Hardware and Software: Verification and Testing, 2014

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

On Verifying Resource Contracts using Code Contracts.

Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

The DynAlloy Visualizer.

Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 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

Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improving search-based test suite generation with dynamic symbolic execution.

Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

TacoPlug: an Eclipse plug-in for TACO.

Marcos Chicote, Juan Pablo Galeotti

Proceedings of the Second International Workshop on Developing Tools as Plug-Ins, 2012

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

Proceedings of the Tests and Proofs - 5th International Conference, 2011

A Dataflow Analysis to Improve SAT-Based Bounded Program Verification.

Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

2010

Analysis of invariants for efficient bounded verification.

Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 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

Proceedings of the Abstract State Machines, 2010

Alloy+HotCore: A Fast Approximation to Unsat Core.

Nicolás D'Ippolito, Marcelo F. Frias, Juan P. Galeotti, Esteban Lanzarotti, Sergio Mera

Proceedings of the Abstract State Machines, 2010

2009

Intra-module Inference.

Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Dynamic Software Architectures Verification using DynAlloy.

Antonio Bucchiarone, Juan P. Galeotti

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Towards Abstraction for DynAlloy Specifications.

Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Efficient Analysis of DynAlloy Specifications.

Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre

ACM Trans. Softw. Eng. Methodol., 2007

2006

DynAlloy as a Formal Method for the Analysis of Java Programs.

Juan P. Galeotti, Marcelo F. Frias

Proceedings of the Software Engineering Techniques: Design for Quality, 2006

2005

DynAlloy: upgrading alloy with actions.

Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005