ANDREA ARCURI; PHILIP GARRET; JUAN P. GALEOTTI; MAN ZHANG

Widening The Adoption of Web API Fuzzing: Docker, GitHub Action and Python Support for EvoMaster

ACM International Conference on the Foundations of Software Engineering (FSE)

Lugar: Trondheim; Año: 2025;

IVAN ARCUSCHIN; LISANDRO DI MEO; MICAHEL AUER; JUAN P. GALEOTTI; GORDON FRASER

Brewing Up Reliability: Espresso Test Generation for Android Apps

International Conference on Software Testing, Verification, and Validation (ICST)

Lugar: Toronto; Año: 2024;

ARCURI, ANDREA; MAN ZHANG; AMID GOLMOHAMMADI; ASMA BELHADI; GALEOTTI, JUAN P.; BOGDAN MARCULESCU; SUSRUTHAN SERAN

EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research

IEEE Conference on Software Testing, Verification and Validation

Lugar: Dublin; Año: 2023;

IVAN ARCUSCHIN; CHRISTIAN CICCARONI; JUAN PABLO GALEOTTI; JOSE MIGUEL ROJAS

On the feasibility and challenges of synthesizing executable Espresso tests

3rd ACM/IEEE International Conference on Automation of Software Test

Lugar: Pittsburgh; Año: 2022;

JAVIER GODOY; JUAN PABLO GALEOTTI; DIEGO GARBERVETSKY; SEBASTIAN UCHITEL

Predicate abstractions for smart contract validation

International Conference on Model Driven Engineering Languages and Systems

Lugar: Montreal; Año: 2022;

IGNACIO MANUEL LEBRERO RIAL; JUAN PABLO GALEOTTI

EvoSuiteDSE at the SBST 2021 Tool Competition

14th Intl. Workshop on Search-Based Software Testing

Lugar: Madrid; Año: 2021;

IVÁN ARCUSCHIN MORENO; JUAN P. GALEOTTI; DIEGO GARBERVETSKY

Algorithm or Representation? An empirical study on how SAPIENZ achieves coverage

1st IEEE/ACM International Conference on Automation of Software Test

Lugar: Seul; Año: 2020;

ARCURI, ANDREA; GALEOTTI, JUAN PABLO

Testability Transformations For Existing APIs

IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020

Lugar: Porto; Año: 2020;

ANDREA ARCURI; GALEOTTI, JUAN PABLO

SQL Data Generation to Enhance Search-Based System Testing

Genetic and Evolutionary Computation Conference, GECCO 2019

Lugar: Praga; Año: 2019;

SINA SHAMSHIRI; JOSE MIGUEL ROJAS; JUAN PABLO GALEOTTI; NEIL WALKINSHAW; GORDON FRASER

How Do Automatically Generated Unit Tests Influence Software Maintenance?

11th IEEE Conference on Software Testing, Validation and Verification

Lugar: Västerås; Año: 2018;

HAVRIKOV, NIKOLAS; ALESSIO GAMBI; ZELLER, ANDREAS; ANDREA ARCURI; GALEOTTI, JUAN PABLO

Generating unit tests with structured system interactions

12th International Workshop on Automation of Software Testing

Lugar: Buenos Aires; Año: 2017;

REGIS, GERMAN; CESAR CORNEJO; SIMON GUTIERREZ BRIDA; MARIANO POLITANO; FERNADO RAVERTA; PONZIO, PABLO; AGUIRRE, NAZARENO; GALEOTTI, JUAN PABLO; FRIAS, MARCELO

DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour

2017 11th Joint Meeting on Foundations of Software Engineering

Lugar: Paderborn; Año: 2017;

URKO RUEDA; RENE JUST; JUAN PABLO GALEOTTI; TANJA VOS

Unit testing tool competition: round four

9th International Workshop on Search-Based Software Testing

Lugar: Austin; Año: 2016;

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

Generating TCP/UDP Network Data for Automated Unit Test Generation

10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Lugar: Bergamo; Año: 2015;

KEVIN SALVESEN; GALEOTTI, JUAN PABLO; GROSS, FLORIAN; FRASER, GORDON; ZELLER, ANDREAS

Using Dynamic Symbolic Execution to Generate Inputs in Search-Based GUI Testing

8th International Workshop on Search-Based Software Testing

Lugar: Florencia; Año: 2015;

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

Extending a search-based test generator with adaptive dynamic symbolic execution

2014 International Symposium on Software Testing and Analysis

Lugar: San Jose; Año: 2014;

GALEOTTI, JUAN PABLO

On the Challenges of Combining Search-Based Software Testing and Symbolic Execution

Dagstuhl Seminar 14442 sobre Symbolic Execution and Constraint Solving

Año: 2014;

HAVRIKOV, NIKOLAS; HOESCHELE, MATTHIAS; GALEOTTI, JUAN PABLO; ZELLER, ANDREAS

XMLMate: evolutionary XML test generation

22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering

Lugar: Hong Kong; Año: 2014;

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

Automated unit test generation for classes with environment dependencies

2014 International Conference on Automated Software Engineering

Lugar: Vasteras; Año: 2014;

HOESCHELE, MATTHIAS; GALEOTTI, JUAN PABLO; ZELLER, ANDREAS

Test generation across multiple layers

7th International Workshop on Search-Based Software Testing

Lugar: Hyderabad; Año: 2014;

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

Loop Invariants by Mutation, Dynamic Validation, and Static Checking

5th International Workshop on Invariant Generation (WING 2012)

Lugar: Viena; Año: 2014;

GALEOTTI, JUAN PABLO; GORDON FRASER

Improving Search-based Test Suite Generation with Dynamic Symbolic Execution

CREST Open Workshop on Search Based Software Testing and Dynamic Symbolic Execution (COW'30)

Lugar: Londres; Año: 2014;

ABAD, PABLO; AGUIRRE, NAZARENO; BENGOLEA, VALERIA; CIOLEK, DANIEL; FRIAS, MARCELO; GALEOTTI, JUAN PABLO; MAIBAUM, TOM; MOSCATO, MARIANO; ROSNER, NICOLAS; VISSANI, IGNACIO

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

6th International Conference on Software Testing, Verification and Validation

Lugar: Luxemburgo; Año: 2013;

CASTAÑO, RODRIGO; GALEOTTI, JUAN PABLO; DIEGO GARBERVETSKY; TAPICER, JONATHAN; ZOPPI, EDGARDO

On Verifying Resource Contracts using Code Contracts

2013 Latin American Workshop on Formal Methods

Lugar: Buenos Aires; Año: 2013;

BENDERSKY, PABLO; GALEOTTI, JUAN PABLO; DIEGO GARBERVETSKY

The DynAlloy Visualizer

2013 Latin American Workshop on Formal Methods

Lugar: Buenos Aires; Año: 2013;

ROSNER, NICOLAS; GALEOTTI, JUAN PABLO; BERMUDEZ, SANTIAGO; MARUCCI BLAS, GUIDO; PEREZ DE ROSSO, SANTIAGO; PIZZAGALLI, LUCAS; ZEMIN, LUCIANO; FRIAS, MARCELO

Parallel Bounded Analysis in Code with Rich Invariants by Refinement of Field Bounds

2012 International Symposium on Software Testing and Analysis

Lugar: Zurich; Año: 2013;

GALEOTTI, JUAN PABLO; GORDON FRASER; ANDREA ARCURI

Improving search-based test suite generation with dynamic symbolic execution

24th International Symposium on Software Reliability Engineering

Lugar: Pasadena; Año: 2013;

MARCOS CHICOTE; GALEOTTI, JUAN PABLO

TacoPlug: An Eclipse plug-in for TACO

Developing Tools as Plug-ins

Lugar: Zurich; Año: 2012;

GALEOTTI, JUAN PABLO; ZELLER, ANDREAS

Inferring Loop Invariants Dynamically

4th International Workshop on Invariant Generation (WING)

Lugar: Manchester; Año: 2012;

GALEOTTI, JUAN PABLO

Análisis modular y recuperación de contraejemplos en TACO

XVII Congreso Argentino de Ciencias de la Computación

Año: 2011;

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

Analysis of Invariants for Efficient Bounded Verification

Nineteenth International Symposium on Software Testing and Analysis

Lugar: Trento; Año: 2010;

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

Distributed SAT-Based Analysis of Object Oriented Code

Symposium on Automatic Program Verification

Lugar: RIO CUARTO, CORDOBA, ARGENTINA; Año: 2009;

BUCCHIARONE, ANTONIO; GALEOTTI, JUAN PABLO

Dynamic Software Architectures Verification using DynAlloy

7th International Workshop on Graph Transformation and Visual Modeling Techniques

Lugar: BUDAPEST, HUNGRIA; Año: 2008;

FRIAS, MARCELO; GALEOTTI, JUAN PABLO

Faster SAT-Based Analysis of OO-Programs by Separation of Mutant and Non Mutant Objects

1st Alloy Workshop (colocated with the Fourteenth ACM SIGSOFT Symposium on Foundations of Software Engineering)

Lugar: Portland, Oregon, USA; Año: 2006;

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

DynAlloy: Upgrading Alloy with Actions (Extended Abstract)

8th International Conference on Relational Methods in Computer Science

Lugar: St. Catherines, Ontario, Canada; Año: 2005;

FRIAS, MARCELO; GALEOTTI, JUAN PABLO; LOPEZ POMBO, CARLOS; ROMAN, MARIO

Fork Algebras as a Formalism to Reason Across Behavioral Specifications (Extended Abstract)

8th International Conference on Relational Methods in Computer Science

Lugar: St. Catherines, Ontario, Canada; Año: 2005;

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

DynAlloy: upgrading alloy with actions

27th international conference on Software engineering

Lugar: St. Louis, MO, USA; Año: 2005;