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

Training binary classifiers as data structure invariants

41st International Conference on Software Engineering, ICSE 2019

Lugar: Montreal; Año: 2019;

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

Efficient Test Generation Guided by Field Coverage Criteria

34th IEEE/ACM International Conference on Automated Software Engineering

Lugar: San Diego; Año: 2019;

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

Automatically Identifying Sufficient Object Builders from Module APIs.

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

Lugar: Praga; Año: 2019;

DEGIOVANNI, RENZO; CASTRO, PABLO F.; ARROYO, MARCELO; RUIZ, MARCELO; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

Goal-Conflict Likelihood Assessment based on Model Counting

40th International Conference on Software Engineering ICSE 2018

Lugar: Gotemburgo; Año: 2018;

UVA, MARCELO; PONZIO, PABLO; REGIS, GERMÁN; AGUIRRE, NAZARENO; FRIAS, MARCELO F.

Automated Workarounds from Java Program Specifications Based on SAT Solving

20th International Conference on Fundamental Approaches to Software Engineering

Lugar: Uppsala; Año: 2017;

DESHARNAIS, JULES; DIALLO, NAFI; GHARDALLOU, WIDED; FRIAS, MARCELO; JAOUA, ALI; MILI, ALI

Relational Mathematics for Relative Correctness

15th International Conference, RAMiCS 2015

Lugar: Braga; Año: 2015;

FILIERI, ANTONIO; FRIAS, MARCELO; PASAREANU, CORINA; VISSER, WILLEM

Model Counting for Complex Data Structures

22nd International Symposium, SPIN 2015

Lugar: Stellenbosch; Año: 2015;

ROSNER, NICOLÁS; BENGOLEA, VALERIA; PONZIO, PABLO; SHADI ABDUL KHALEK; AGUIRRE, NAZARENO; FRIAS, MARCELO FABIAN; KHURSHID, SARFRAZ

Bounded exhaustive test input generation from hybrid invariants

ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014

Lugar: Portland; Año: 2014;

MILI, ALI; FRIAS, MARCELO; JAOUA, ALI

On Faults and Faulty Programs

14th International Conference, RAMiCS 2014

Lugar: Marienstatt; Año: 2014;

PONZIO, PABLO; ROSNER, NICOLÁS; AGUIRRE, NAZARENO; FRIAS, MARCELO

Efficient Tight Field Bounds Computation Based on Shape Predicates

19th International Symposium on Formal Methods

Año: 2014;

ROSNER, NICOLÁS; JUNAID HAROON SIDDIQUI; AGUIRRE, NAZARENO; KHURSHID, SARFRAZ; FRIAS, MARCELO FABIAN

Ranger: Parallel analysis of alloy models by range partitioning

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013

Lugar: Silicon Valley, CA; Año: 2013;

ABAD, PABLO; AGUIRRE, NAZARENO; BENGOLEA, VALERIA; CIOLEK, DANIEL; FRIAS, MARCELO FABIAN; GALEOTTI, JUAN PABLO; MAIBAUM, THOMAS STEPHEN EDWARD; MOSCATO, MARIANO MIGUEL; ROSNER, NICOLÁS; VISSANI, IGNACIO

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

IEEE Sixth International Conference on Software Testing, Verification and Validation

Lugar: Luxemburgo; Año: 2013;

ROSNER, NICOLÁS; GALEOTTI, JUAN PABLO; BERMÚDEZ, SANTIAGO; MARUCCI BLAS, GUIDO; PEREZ DE ROSSO, SANTIAGO; PIZZAGALLI, LUCAS; ZEMÍN, LUCIANO; FRIAS, MARCELO FABIAN

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

International Symposium on Software Testing and Analysis, ISSTA '13

Lugar: Lugano; Año: 2013;

GALEOTTI, JUAN PABLO; ROSNER, NICOLÁS; LOPEZ POMBO, CARLOS GUSTAVO; FRIAS, MARCELO FABIAN

Analysis of invariants for efficient bounded verification

19th international symposium on Software testing and analysis

Lugar: Trento; Año: 2010;

FRIAS, MARCELO FABIAN; GALEOTTI, JUAN PABLO

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

First Alloy Workshop

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

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

DynAlloy: Upgrading Alloy with Actions

ICSE 2005, International Conference on Software Engineering

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

FRIAS, MARCELO FABIAN; GAMARRA, RODOLFO; STEREN, GABRIELA; BOURG, LORENA

A Strategy for Efficient Verification of Relational Specifications Based on Monotonicity Analysis

Automated Software Engineering

Lugar: Los Angeles, California, USA; Año: 2005;

DIAZ, JAVIER; BAUM, GABRIEL; FRIAS, MARCELO FABIAN

A PPML Solution for the Steam Boiler Control Problem

WAIT 2000, Workshop Argentino en Informática Teórica

Lugar: Tandil, Provincia de Buenos Aires, Argentina; Año: 2000;

FRIAS, MARCELO FABIAN; MADDUX, ROGER DUNCAN

Completeness of a Relational Calculus for Program Schemes

LICS'98, International Conference on Logic in Computer Science

Lugar: Indianapolis, Indiana, USA; Año: 1998;

FRIAS, MARCELO FABIAN; GORDILLO, SILVIA

Semantic Optimization of Queries in Deductive Object–Oriented Database

Advances on Databases and Information Systems, ADBIS’95

Lugar: Moscow, Russia; Año: 1995;