ARCURI, ANDREA; ZHANG, MAN; SERAN, SUSRUTHAN; GALEOTTI, JUAN PABLO; GOLMOHAMMADI, AMID; DUMAN, ONUR; ALDASORO, AGUSTINA; GHIANNI, HERNAN

Tool report: EvoMaster—black and white box search-based fuzzing for REST, GraphQL and RPC APIs

AUTOMATED SOFTWARE ENGINEERING; Año: 2024 vol. 32

ARCURI, ANDREA; ZHANG, MAN; GALEOTTI, JUAN PABLO

Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Año: 2024

ANDREA ARCURI; MAN ZHANG; ASMA BELHAD; BOGDAN MARCULESCU; AMID GOLMOHAMMADI; JUAN PABLO GALEOTTI; SUSRUTHAN SERAN

Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster

SOFTWARE QUALITY JOURNAL; Lugar: Berlin; Año: 2023

ARCUSCHIN, IVÁN; GALEOTTI, JUAN PABLO; GARBERVETSKY, DIEGO

An Empirical Study on How Sapienz Achieves Coverage and Crash Detection

Journal of Software: Evolution and Process; Año: 2023 vol. 35

XAVIER DEVROEY; ALESSIO GAMBI; JUAN PABLO GALEOTTI; RENE JUST; FITSUM KIFETEW; ANNIBALE PANICHELLA; SEBASTIANO PANICHELLA

JUGE: An Infrastructure for Benchmarking Java Unit Test Generators

SOFTWARE TESTING, VERIFICATION & RELIABILITY; Lugar: Londres; Año: 2023 vol. 33

ARCURI, ANDREA; GALEOTTI, JUAN P.

Enhancing Search-based Testing with Testability Transformations for Existing APIs

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Año: 2022 vol. 31 p. 1 - 34

ANDREA ARCURI; JUAN PABLO GALEOTTI; BOGDAN MARCULESCU; MAN ZHANG

EvoMaster: A Search-Based System Test Generation Tool

Journal Of Open Source Software; Año: 2021 vol. 6 p. 2153 - 2156

JAVIER GODOY; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; SEBASTIÁN UCHITEL

Enabledness-based Testing of Object Protocols

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2021 vol. 30 p. 1 - 36

ARCURI, ANDREA; GALEOTTI, JUAN PABLO

Handling SQL Databases in Automated System Test Generation

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York - USA; Año: 2020 vol. 29 p. 1 - 31

ARCURI, ANDREA; FRASER, GORDON; GALEOTTI, JUAN PABLO

Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten

LECTURE NOTES IN INFORMATICS; Lugar: Dresden; Año: 2015 vol. 239 p. 132 - 132

GALEOTTI, JUAN PABLO; FURIA, CARLO; MAY, EVA; FRASER, GORDON; ZELLER, ANDREAS

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2015 vol. 41 p. 1019 - 1037

BRUNO CUERVO PARRINO; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; MARCELO FABIAN FRIAS

TacoFlow: optimizing SAT program verification using dataflow analysis

SOFTWARE AND SYSTEMS MODELING; Lugar: HEIDELBERG; Año: 2015 vol. 14 p. 45 - 63

MARCOS CHICOTE; CIOLEK, DANIEL; GALEOTTI, JUAN PABLO

Practical JFSL verification using TACO

SOFTWARE: PRACTICE AND EXPERIENCE; Lugar: LOndres; Año: 2014 vol. 44 p. 317 - 334

GALEOTTI, JUAN PABLO; FURIA, CARLO; MAY, EVA; FRASER, GORDON; ZELLER, ANDREAS

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Haifa; Año: 2014 vol. 8855 p. 48 - 53

KAMPMANN, ALEXANDER; GALEOTTI, JUAN PABLO; ZELLER, ANDREAS

JTACO: Test Execution for Faster Bounded Verification

LECTURE NOTES IN COMPUTER SCIENCE; Año: 2014 vol. 8570 p. 134 - 141

GALEOTTI, JUAN PABLO; ROSNER, NICOLAS; LOPEZ POMBO, CARLOS; FRIAS, MARCELO

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING; Lugar: Los Alamitos, CA, USA; Año: 2013 vol. 39 p. 1283 - 1307

AGUIRRE, NAZARENO; BENGOLEA, VALERIA; FRIAS, MARCELO; GALEOTTI, JUAN PABLO

Incorporating Coverage Criteria in Bounded Exhaustive Black Box Test Generation of Structural Inputs

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Zurich; Año: 2011 vol. 6706 p. 15 - 32

BRUNO CUERVO PARRINO; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; MARCELO FRIAS

A dataflow analysis to improve SAT-based program verification

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin; Año: 2011 vol. 7041 p. 138 - 154

LAHIRI, SHUVENDU K.; QADEER, SHAZ; GALEOTTI, JUAN PABLO; WOUNG, JAN W.; WIES, THOMAS

Intra-module Inference

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Heidelberg; Año: 2009 vol. 5643 p. 493 - 508

D'IPPOLITO, NICOLAS; FRIAS, MARCELO; GALEOTTI, JUAN PABLO; LANZAROTTI, ESTEBAN; MERA, SERGIO

Alloy+HotCore: a Fast Approximation to Unsat Core

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Heidelberg; Año: 2009

ROSNER, NICOLAS; GALEOTTI, JUAN PABLO; LOPEZ POMBO, CARLOS; FRIAS, MARCELO

ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Heidelberg; Año: 2009

AGUIRRE, NAZARENO; FRIAS, MARCELO; PONZIO, PABLO; CARDIFF, BRIAN; GALEOTTI, JUAN PABLO; REGIS, GERMAN

Towards Abstraction for DynAlloy Specifications

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Berlin, Heidelberg ; Año: 2008 vol. 5256 p. 207 - 225

FRIAS, MARCELO; LOPEZ POMBO, CARLOS; GALEOTTI, JUAN PABLO; AGUIRRE, NAZARENO

Efficient Analysis of DynAlloy Specifications

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY; Lugar: New York, NY, USA; Año: 2007 vol. 17 p. 1 - 34