Juan P. Galeotti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2005–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AST | Search-Based Fuzzing For RESTful APIs That Use MongoDB. | Hernan Ghianni, Man Zhang, Juan P. Galeotti, Andrea Arcuri |
| 2024 | ICST | Brewing Up Reliability: Espresso Test Generation for Android Apps. | Ivn Arcuschin, Lisandro Di Meo, Michael Auer, Juan P. Galeotti, Gordon Fraser |
| 2023 | ICST | 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 |
| 2020 | ICST | Testability Transformations For Existing APIs. | Andrea Arcuri, Juan P. Galeotti |
| 2019 | GECCO | SQL data generation to enhance search-based system testing. | Andrea Arcuri, Juan P. Galeotti |
| 2016 | ICSE | Unit testing tool competition: round four. | Urko Rueda, Ren Just, Juan P. Galeotti, Tanja E. J. Vos |
| 2015 | ICSE | Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. | Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller |
| 2013 | ICST | 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, Nicols Rosner, Ignacio Vissani |
| 2013 | ISSTA | Parallel bounded analysis in code with rich invariants by refinement of field bounds. | Nicols Rosner, Juan P. Galeotti, Santiago Bermdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemn, Marcelo F. Frias |
| 2011 | SEFM | A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. | Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky, Marcelo F. Frias |
| 2011 | TAP | Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. | Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti |
| 2010 | ISSTA | Analysis of invariants for efficient bounded verification. | Juan P. Galeotti, Nicols Rosner, Carlos Lpez Pombo, Marcelo F. Frias |
| 2009 | CAV | Intra-module Inference. | Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies |
| 2008 | ICFEM | Towards Abstraction for DynAlloy Specifications. | Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germn Regis |
| 2005 | ICSE | DynAlloy: upgrading alloy with actions. | Marcelo F. Frias, Juan P. Galeotti, Carlos Lpez Pombo, Nazareno Aguirre |