MARIANO POLITANO; VALERIA BENGOLEA; FACUNDO MOLINA; NAZARENO AGUIRRE; MARCELO F. FRIAS; PABLO PONZIO

Efficient Bounded Exhaustive Input Generation from Program APIs

Fundamental Approaches to Software Engineering, FASE 2023

Año: 2023;

FACUNDO MOLINA; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO F. FRIAS

EvoSpex: A Search-Based Tool for Postcondition Inference

32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023

Año: 2023;

JUAN MANUEL COPIA; FACUNDO MOLINA; NAZARENO AGUIRRE; MARCELO F. FRIAS; ALESSANDRA GORLA; PABLO PONZIO

Precise Lazy Initialization for Programs with Complex Heap Inputs

34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023

Año: 2023;

FACUNDO MOLINA; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO F. FRIAS

Learning to Prune Infeasible Paths in Generalized Symbolic Execution

IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022

Año: 2022;

JUAN MANUEL COPIA; PABLO PONZIO; NAZARENO AGUIRRE; ALESSANDRA GORLA; MARCELO F. FRIAS

LISSA: Lazy Initialization with Specialized Solver Aid

37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022

Año: 2022;

PABLO PONZIO; ARIEL GODIO; NICOLÁS ROSNER; MARCELO ARROYO; NAZARENO AGUIRRE; MARCELO F. FRIAS

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds

Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021

Año: 2021;

FACUNDO MOLINA; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO F. FRIAS

EvoSpex: An Evolutionary Algorithm for Learning Postconditions

IEEE/ACM 43rd International Conference on Software Engineering (ICSE 2021)

Año: 2021;

FACUNDO MOLINA; RENZO DEGIOVANNI; PABLO PONZIO; GERMÁN REGIS; NAZARENO AGUIRRE; MARCELO F. FRIAS

Training binary classifiers as data structure invariants

41st International Conference on Software Engineering, ICSE 2019

Año: 2019;

ARIEL GODIO; VALERIA BENGOLEA; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO F. FRIAS

Efficient Test Generation Guided by Field Coverage Criteria

34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Año: 2019;

PABLO PONZIO; VALERIA BENGOLEA; MARIANO POLITANO; NAZARENO AGUIRRE; MARCELO F. FRIAS

Automatically Identifying Sufficient Object Builders from Module APIs

Fundamental Approaches to Software Engineering - 22nd International Conference, FASE 2019

Año: 2019;

PABLO PONZIO; NAZARENO AGUIRRE; MARCELO F. FRIAS; WILLEM VISSER

Field-exhaustive testing

24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2016)

Año: 2016;