default search action
Juan P. Galeotti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j15]Andrea Arcuri, Man Zhang, Susruthan Seran, Juan Pablo Galeotti, Amid Golmohammadi, Onur Duman, Agustina Aldasoro, Hernan Ghianni:
Tool report: EvoMaster - black and white box search-based fuzzing for REST, GraphQL and RPC APIs. Autom. Softw. Eng. 32(1): 4 (2025) - 2024
- [j14]Andrea Arcuri
, Man Zhang
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs. ACM Trans. Softw. Eng. Methodol. 33(6): 142 (2024) - [c37]Iván Arcuschin, Lisandro Di Meo, Michael Auer, Juan P. Galeotti, Gordon Fraser:
Brewing Up Reliability: Espresso Test Generation for Android Apps. ICST 2024: 185-196 - 2023
- [j13]Iván Arcuschin
An Empirical Study on How Sapienz Achieves Coverage and Crash Detection. J. Softw. Evol. Process. 35(4) (2023) - [j12]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): 947-990 (2023) - [j11]Xavier Devroey
JUGE: An infrastructure for benchmarking Java unit test generators. Softw. Test. Verification Reliab. 33(3) (2023) - [c36]Andrea Arcuri, Man Zhang
EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research. ICST 2023: 433-442 - [i3]Andrea Arcuri, Man Zhang, Juan Pablo Galeotti:
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs. CoRR abs/2309.08360 (2023) - 2022
- [j10]Andrea Arcuri
Enhancing Search-based Testing with Testability Transformations for Existing APIs. ACM Trans. Softw. Eng. Methodol. 31(1): 1:1-1:34 (2022) - [c35]Iván Arcuschin, Juan Pablo Galeotti, Christian Ciccaroni, José Miguel Rojas
On the feasibility and challenges of synthesizing executable Espresso tests. AST@ICSE 2022: 92-102 - [c34]Javier Godoy
Predicate abstractions for smart contract validation. MoDELS 2022: 289-299 - 2021
- [j9]Andrea Arcuri
EvoMaster: A Search-Based System Test Generation Tool. J. Open Source Softw. 6(57): 2153 (2021) - [j8]Javier Godoy
Enabledness-based Testing of Object Protocols. ACM Trans. Softw. Eng. Methodol. 30(2): 12:1-12:36 (2021) - [c33]Ignacio Manuel Lebrero Rial, Juan P. Galeotti:
EvoSuiteDSE at the SBST 2021 Tool Competition. SBST@ICSE 2021: 30-31 - [i2]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 abs/2106.07520 (2021) - 2020
- [j7]Andrea Arcuri, Juan P. Galeotti:
Handling SQL Databases in Automated System Test Generation. ACM Trans. Softw. Eng. Methodol. 29(4): 22:1-22:31 (2020) - [c32]Iván Arcuschin Moreno
Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage. AST@ICSE 2020: 61-70 - [c31]Andrea Arcuri, Juan P. Galeotti:
Testability Transformations For Existing APIs. ICST 2020: 153-163
2010 – 2019
- 2019
- [c30]Andrea Arcuri, Juan P. Galeotti:
SQL data generation to enhance search-based system testing. GECCO 2019: 1390-1398 - 2018
- [c29]Sina Shamshiri, José Miguel Rojas
How Do Automatically Generated Unit Tests Influence Software Maintenance? ICST 2018: 250-261 - [e1]Juan Pablo Galeotti, Alessandra Gorla:
Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018. ACM 2018, ISBN 978-1-4503-5741-8 [contents] - 2017
- [c28]Juan Pablo Galeotti, Justyna Petke:
10th International Workshop on Search-Based Software Testing (SBST 2017). SBST@ICSE 2017: 1 - [c27]Nikolas Havrikov
Generating Unit Tests with Structured System Interactions. AST@ICSE 2017: 30-33 - [c26]Germán Regis, César Cornejo, Simón Gutiérrez Brida
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour. ESEC/SIGSOFT FSE 2017: 969-973 - 2016
- [c25]Urko Rueda, René Just, Juan P. Galeotti, Tanja E. J. Vos:
Unit testing tool competition: round four. SBST@ICSE 2016: 19-28 - 2015
- [j6]Bruno Cuervo Parrino, Juan Pablo Galeotti, Diego Garbervetsky
TacoFlow: optimizing SAT program verification using dataflow analysis. Softw. Syst. Model. 14(1): 45-63 (2015) - [j5]Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. 41(10): 1019-1037 (2015) - [c24]Kevin Salvesen, Juan P. Galeotti, Florian Gross, Gordon Fraser, Andreas Zeller
Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing. SBST@ICSE 2015: 32-35 - [c23]Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten. Software Engineering & Management 2015: 132 - [c22]Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Generating TCP/UDP network data for automated unit test generation. ESEC/SIGSOFT FSE 2015: 155-165 - 2014
- [j4]Marcos Chicote, Daniel Alfredo Ciolek, Juan Pablo Galeotti:
Practical JFSL verification using TACO. Softw. Pract. Exp. 44(3): 317-334 (2014) - [c21]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: 48-53 - [c20]Matthias Höschele, Juan Pablo Galeotti, Andreas Zeller
Test generation across multiple layers. SBST 2014: 1-4 - [c19]Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri:
Extending a search-based test generator with adaptive dynamic symbolic execution. ISSTA 2014: 421-424 - [c18]Andrea Arcuri, Gordon Fraser, Juan Pablo Galeotti:
Automated unit test generation for classes with environment dependencies. ASE 2014: 79-90 - [c17]Nikolas Havrikov
XMLMate: evolutionary XML test generation. SIGSOFT FSE 2014: 719-722 - [c16]Alexander Kampmann, Juan Pablo Galeotti, Andreas Zeller
JTACO: Test Execution for Faster Bounded Verification. TAP@STAF 2014: 134-141 - [i1]Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
Automating Full Functional Verification of Programs with Loops. CoRR abs/1407.5286 (2014) - 2013
- [j3]Juan P. Galeotti, Nicolás Rosner, Carlos Gustavo López Pombo
TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds. IEEE Trans. Software Eng. 39(9): 1283-1307 (2013) - [c15]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:
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST 2013: 21-30 - [c14]Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri:
Improving search-based test suite generation with dynamic symbolic execution. ISSRE 2013: 360-369 - [c13]Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso
Parallel bounded analysis in code with rich invariants by refinement of field bounds. ISSTA 2013: 23-33 - [c12]Rodrigo Castaño, Juan Pablo Galeotti, Diego Garbervetsky
On Verifying Resource Contracts using Code Contracts. LAFM 2013: 1-15 - [c11]Pablo Bendersky, Juan Pablo Galeotti, Diego Garbervetsky
The DynAlloy Visualizer. LAFM 2013: 59-64 - 2012
- [c10]Marcos Chicote, Juan Pablo Galeotti:
TacoPlug: an Eclipse plug-in for TACO. TOPI@ICSE 2012: 37-42 - 2011
- [c9]Bruno Cuervo Parrino, Juan P. Galeotti, Diego Garbervetsky
A Dataflow Analysis to Improve SAT-Based Bounded Program Verification. SEFM 2011: 138-154 - [c8]Nazareno Aguirre, Valeria S. Bengolea, Marcelo F. Frias, Juan P. Galeotti:
Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs. TAP@TOOLS 2011: 15-32 - 2010
- [c7]Nicolás D'Ippolito
Alloy+HotCore: A Fast Approximation to Unsat Core. ASM 2010: 160-173 - [c6]Nicolás Rosner, Juan P. Galeotti, Carlos López Pombo
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. ASM 2010: 396-397 - [c5]Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias:
Analysis of invariants for efficient bounded verification. ISSTA 2010: 25-36
2000 – 2009
- 2009
- [c4]Shuvendu K. Lahiri, Shaz Qadeer, Juan P. Galeotti, Jan W. Voung, Thomas Wies:
Intra-module Inference. CAV 2009: 493-508 - 2008
- [j2]Antonio Bucchiarone, Juan P. Galeotti:
Dynamic Software Architectures Verification using DynAlloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 10 (2008) - [c3]Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio, Brian J. Cardiff, Juan P. Galeotti, Germán Regis:
Towards Abstraction for DynAlloy Specifications. ICFEM 2008: 207-225 - 2007
- [j1]Marcelo F. Frias, Carlos López Pombo
Efficient Analysis of DynAlloy Specifications. ACM Trans. Softw. Eng. Methodol. 17(1): 4:1-4:34 (2007) - 2006
- [c2]Juan P. Galeotti, Marcelo F. Frias:
DynAlloy as a Formal Method for the Analysis of Java Programs. SET 2006: 249-260 - 2005
- [c1]Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre:
DynAlloy: upgrading alloy with actions. ICSE 2005: 442-451
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 21:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: