Juan Pablo Galeotti

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 14

Top Topics

Software Testing

Automatically Generate

Lessons Learned

Test Generation

Top Venues

ESEC/SIGSOFT FSE

Publications

Andrea Arcuri, Man Zhang, Juan Pablo Galeotti
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs. CoRR (2023)
Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella
JUGE: An infrastructure for benchmarking Java unit test generators. Softw. Test. Verification Reliab. 33 (3) (2023)
Andrea Arcuri, Man Zhang, Asma Belhadi, Bogdan Marculescu, Amid Golmohammadi, Juan Pablo Galeotti, Susruthan Seran
Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster. Softw. Qual. J. 31 (3) (2023)
Iván Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky
An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. J. Softw. Evol. Process. 35 (4) (2023)
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
Predicate abstractions for smart contract validation. MoDELS (2022)
Iván Arcuschin Moreno, Juan Pablo Galeotti, Christian Ciccaroni, José Miguel Rojas
On the feasibility and challenges of synthesizing executable Espresso tests. AST@ICSE (2022)
Andrea Arcuri, Juan Pablo Galeotti, Bogdan Marculescu, Man Zhang
EvoMaster: A Search-Based System Test Generation Tool. J. Open Source Softw. 6 (57) (2021)
Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastián Uchitel
Enabledness-based Testing of Object Protocols. ACM Trans. Softw. Eng. Methodol. 30 (2) (2021)
Xavier Devroey, Alessio Gambi, Juan Pablo Galeotti, René Just, Fitsum Meshesha Kifetew, Annibale Panichella, Sebastiano Panichella
JUGE: An Infrastructure for Benchmarking Java Unit Test Generators. CoRR (2021)
Iván Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky
Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage. AST@ICSE (2020)
Sina Shamshiri, José Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser
How Do Automatically Generated Unit Tests Influence Software Maintenance? ICST (2018)
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
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. ESEC/SIGSOFT FSE (2017)
Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri, Juan Pablo Galeotti
Generating Unit Tests with Structured System Interactions. AST@ICSE (2017)
Juan Pablo Galeotti, Justyna Petke
10th International Workshop on Search-Based Software Testing (SBST 2017). SBST@ICSE (2017)
Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky, Marcelo F. Frias
TacoFlow: optimizing SAT program verification using dataflow analysis. Softw. Syst. Model. 14 (1) (2015)
Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti
Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten. Software Engineering & Management (2015)
Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti
Generating TCP/UDP network data for automated unit test generation. ESEC/SIGSOFT FSE (2015)
Nikolas Havrikov, Matthias Höschele, Juan Pablo Galeotti, Andreas Zeller
XMLMate: evolutionary XML test generation. SIGSOFT FSE (2014)
Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller
JTACO: Test Execution for Faster Bounded Verification. TAP@STAF (2014)
Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Haifa Verification Conference (2014)
Marcos Chicote, Daniel Alfredo Ciolek, Juan Pablo Galeotti
Practical JFSL verification using TACO. Softw. Pract. Exp. 44 (3) (2014)
Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti
Automated unit test generation for classes with environment dependencies. ASE (2014)
Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri
Extending a search-based test generator with adaptive dynamic symbolic execution. ISSTA (2014)
Matthias Höschele, Juan Pablo Galeotti, Andreas Zeller
Test generation across multiple layers. SBST (2014)
Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri
Improving search-based test suite generation with dynamic symbolic execution. ISSRE (2013)
Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky, Jonathan Tapicer, Edgardo Zoppi
On Verifying Resource Contracts using Code Contracts. LAFM (2013)
Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
The DynAlloy Visualizer. LAFM (2013)
Marcos Chicote, Juan Pablo Galeotti
TacoPlug: an Eclipse plug-in for TACO. TOPI@ICSE (2012)