Juan Pablo Galeotti

32 papers A* 1A 5C 2Journal 10Unranked 13

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