Juan Pablo Galeotti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
7
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELS | Modal Abstractions for Smart Contract Validation. | Javier Godoy, Margarita Capretto, Martn Ceresa, Juan Pablo Galeotti, Diego Garbervetsky, Csar Snchez, Sebastin Uchitel |
| 2022 | AST | On the feasibility and challenges of synthesizing executable Espresso tests. | Ivn Arcuschin, Juan Pablo Galeotti, Christian Ciccaroni, Jos Miguel Rojas |
| 2022 | MODELS | Predicate abstractions for smart contract validation. | Javier Godoy, Juan Pablo Galeotti, Diego Garbervetsky, Sebastin Uchitel |
| 2020 | ICSE | Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage. | Ivn Arcuschin Moreno, Juan Pablo Galeotti, Diego Garbervetsky |
| 2018 | ICST | How Do Automatically Generated Unit Tests Influence Software Maintenance? | Sina Shamshiri, Jos Miguel Rojas, Juan Pablo Galeotti, Neil Walkinshaw, Gordon Fraser |
| 2017 | ICSE | 10th International Workshop on Search-Based Software Testing (SBST 2017). | Juan Pablo Galeotti, Justyna Petke |
| 2017 | ICSE | Generating Unit Tests with Structured System Interactions. | Nikolas Havrikov, Alessio Gambi, Andreas Zeller, Andrea Arcuri, Juan Pablo Galeotti |
| 2014 | ICSE | Test generation across multiple layers. | Matthias Hschele, Juan Pablo Galeotti, Andreas Zeller |
| 2014 | ISSTA | Extending a search-based test generator with adaptive dynamic symbolic execution. | Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri |
| 2014 | TAP | JTACO: Test Execution for Faster Bounded Verification. | Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller |
| 2013 | ISSRE | Improving search-based test suite generation with dynamic symbolic execution. | Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri |
| 2012 | ICSE | TacoPlug: an Eclipse plug-in for TACO. | Marcos Chicote, Juan Pablo Galeotti |