JUAN MANUEL COPIA; FACUNDO MOLINA; ALESSANDRA GORLA; AGUIRRE, NAZARENO M.; PABLO PONZIO

Search-based Inference of Class Invariants

Genetic and Evolutionary Computation Conference GECCO 2025

Lugar: Málaga; Año: 2025;

FACUNDO MOLINA; NAZARENO AGUIRRE; ALESSANDRA GORLA

State Field Coverage: A Metric for Oracle Quality

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

Lugar: Seul; Año: 2025;

AGUSTÍN BORDA; GERMÁN REGIS; NAZARENO AGUIRRE; MARCELO FRIAS; PABLO PONZIO

Automated Combinatorial Test Generation for Alloy

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

Lugar: Seul; Año: 2025;

LUIZ CARVALHO; RENZO DEGIOVANNI; MAXIME CORDY; NAZARENO AGUIRRE; YVES LE TRAON; MIKE PAPADAKIS

SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions

International Conference on Software Engineering ICSE 2024

Lugar: Lisboa; Año: 2024;

CÉSAR CORNEJO; MARÍA MARTA NOVAIRA; SONIA PERMIGIANI; NAZARENO AGUIRRE; MARCELO FRIAS; SIMÓN EMMANUEL GUTIÉRREZ BRIDA; GERMÁN REGIS

An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding

10th International Conference on Rigorous State-Based Methods ABZ 2024

Lugar: Bergamo; Año: 2024;

LUIZ CARVALHO; RENZO DEGIOVANNI; MATÍAS BRIZZIO; MAXIME CORDY; NAZARENO AGUIRRE; YVES LE TRAON; MIKE PAPADAKIS

ACoRe: Automated Goal-Conflict Resolution

Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023

Lugar: Paris; Año: 2023;

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

Efficient Bounded Exhaustive Input Generation from Program APIs

Fundamental Approaches to Software Engineering - 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023

Lugar: Paris; Año: 2023;

MATÍAS BRIZZIO; MAXIME CORDY; MIKE PAPADAKIS; CÉSAR SÁNCHEZ; NAZARENO AGUIRRE; RENZO DEGIOVANNI

Automated Repair of Unrealisable LTL Specifications Guided by Model Counting

Genetic and Evolutionary Computation Conference, GECCO 2023, Lisbon, Portugal, July 15-19, 2023

Lugar: Lisboa; Año: 2023;

AAYUSH GARG; RENZO DEGIOVANNI; FACUNDO MOLINA; MAXIME CORDY; NAZARENO AGUIRRE; MIKE PAPADAKIS; YVES LE TRAON

Enabling Efficient Assertion Inference

34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023

Lugar: Florencia; Año: 2023;

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

Precise Lazy Initialization for Programs with Complex Heap Inputs

34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, Florence, Italy, October 9-12, 2023

Lugar: Florencia; Año: 2023;

FACUNDO MOLINA; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO FRIAS

EvoSpex: A Search-Based Tool for Postcondition Inference

32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2023, Seattle, WA, USA, July 17-21, 2023

Lugar: Seattle; Año: 2023;

FACUNDO MOLINA; MARCELO D'AMORIM; NAZARENO AGUIRRE

SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing

38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023

Lugar: Luxemburgo; Año: 2023;

FACUNDO MOLINA; MARCELO D'AMORIM; NAZARENO AGUIRRE

Fuzzing Class Specifications

44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022

Lugar: Pittsburgh; Año: 2022;

GUOLONG ZHENG; THANHVU NGUYEN; SIMÓN EMMANUEL GUTIÉRREZ BRIDA; GERMÁN REGIS; NAZARENO AGUIRRE; MARCELO FRIAS; HAMID BAGHERI

ATR: template-based repair for Alloy specifications

ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18 - 22, 2022.

Año: 2022;

SIMÓN EMMANUEL GUTIÉRREZ BRIDA; GERMÁN REGIS; GUOLONG ZHENG; HAMID BAGHERI; THANHVU NGUYEN; NAZARENO AGUIRRE; MARCELO FRIAS

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022

Lugar: Detroit; Año: 2022;

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

LISSA: Lazy Initialization with Specialized Solver Aid

37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022

Lugar: Detroit; Año: 2022;

FACUNDO MOLINA; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO FRIAS

Learning to Prune Infeasible Paths in Generalized Symbolic Execution

IEEE 33rd International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31 - Nov. 3, 2022

Lugar: Charlotte; Año: 2022;

GUOLONG ZHENG; THANHVU NGUYEN; SIMÓN EMMANUEL GUTIÉRREZ BRIDA; GERMÁN REGIS; MARCELO FRIAS; NAZARENO AGUIRRE; HAMID BAGHERI

FLACK: Counterexample-Guided Fault Localization for Alloy Models

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

Lugar: Madrid; Año: 2021;

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

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

International Conference on Fundamental Approaches to Software Engineering FASE 2021

Lugar: Luxemburgo; Año: 2021;

SIMÓN GUTIÉRREZ BRIDA; GERMÁN REGIS; GUOLONG ZHENG; HAMID BAGHERI; THANHVU NGUYEN; NAZARENO AGUIRRE; MARCELO FRIAS

Bounded Exhaustive Search of Alloy Specification Repairs

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

Lugar: Madrid; Año: 2021;

FACUNDO MOLINA; PABLO PONZIO; NAZARENO AGUIRRE; MARCELO FRIAS

EvoSpex: An Evolutionary Algorithm for Learning Postconditions

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

Lugar: Madrid; Año: 2021;

SIMÓN GUTIÉRREZ BRIDA; GERMÁN REGIS; GUOLONG ZHENG; HAMID BAGHERI; THANHVU NGUYEN; NAZARENO AGUIRRE; MARCELO FRIAS

BeAFix: An Automated Repair Tool for Faulty Alloy Models

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

Lugar: Melbourne; Año: 2021;

GUOLONG ZHENG; THANHVU NGUYEN; SIMÓN GUTIÉRREZ BRIDA; GERMÁN REGIS; MARCELO FRIAS; NAZARENO AGUIRRE; HAMID BAGHERI

FLACK: Localizing Faults in Alloy Models

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

Lugar: Melbourne; Año: 2021;

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

Training binary classifiers as data structure invariants

International Conference on Software Engineering ICSE 2019

Lugar: Montreal; Año: 2019;

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

Efficient Test Generation Guided by Field Coverage Criteria

34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019

Lugar: San Diego; Año: 2019;

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

Automatically Identifying Sufficient Object Builders from Module APIs

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

Lugar: Praga; Año: 2019;

FACUNDO MOLINA; RENZO DEGIOVANNI; GERMÁN REGIS; PABLO CASTRO; NAZARENO AGUIRRE; MARCELO FRIAS

From operational to declarative specifications using a genetic algorithm

2018 IEEE/ACM 11th International Workshop on Search-Based Software Testing (SBST)

Lugar: Gotemburgo; Año: 2018;

PABLO PONZIO; VALERIA BENGOLEA; SIMÓN EMMANUEL GUTIÉRREZ BRIDA; GASTÓN SCILINGO; NAZARENO AGUIRRE; MARCELO FRIAS

On the effect of object redundancy elimination in randomly testing collection classes

2018 IEEE/ACM 11th International Workshop on Search-Based Software Testing (SBST)

Lugar: Gotemburgo; Año: 2018;

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

Goal-conflict likelihood assessment based on model counting

0th International Conference on Software Engineering

Lugar: Gotemburgo; Año: 2018;

RENZO DEGIOVANNI; FACUNDO MOLINA; GERMÁN REGIS; NAZARENO AGUIRRE

A genetic algorithm for goal-conflict identification

33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018

Lugar: Montpellier; Año: 2018;

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

Automated Workarounds from Java Program Specifications Based on SAT Solving

International Conference on Fundamental Approaches to Software Engineering FASE 2017

Lugar: Uppsala; Año: 2017;

NAZARENO AGUIRRE

Efficient SAT-Based Software Analysis: From Automated Testing to Automated Verification and Repair

5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017

Lugar: Buenos Aires; Año: 2017;

LUCIANO ZEMÍN; SIMÓN EMMANUEL GUTIÉRREZ BRIDA; ARIEL GODIO; CÉSAR CORNEJO; RENZO DEGIOVANNI; GERMÁN REGIS; NAZARENO AGUIRRE; MARCELO FRIAS

An Analysis of the Suitability of Test-Based Patch Acceptance Criteria

10th IEEE/ACM International Workshop on Search-Based Software Testing SBST@ICSE 2017

Lugar: Buenos Aires; Año: 2017;

GERMÁN REGIS; CÉSAR CORNEJO; SIMÓN EMMANUEL GUTIÉRREZ BRIDA; MARIANO POLITANO; FERNANDO RAVERTA; PABLO PONZIO; NAZARENO AGUIRRE; JUAN PABLO GALEOTTI; MARCELO FRIAS

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

11th Joint Meeting on Foundations of Software Engineering ESEC/FSE 2017

Lugar: Paderborn; Año: 2017;

GERMÁN REGIS; RENZO DEGIOVANNI; NICOLÁS D'IPPOLITO; NAZARENO AGUIRRE

CLTSA: labelled transition system analyser with counting fluent support

11th Joint Meeting on Foundations of Software Engineering ESEC/FSE 2017

Lugar: Paderborn; Año: 2017;

CASTRO, PABLO F.; AGUIRRE, NAZARENO

Algebraic Foundations for Specification Refinements

19th Brazilian Symposium on Formal Methods: Foundations and Applications SBMF 2016

Lugar: Natal; Año: 2016;

RENZO DEGIOVANNI; NICOLÁS RICCI; DALAL ALRAJEH; CASTRO, PABLO F.; NAZARENO AGUIRRE

Goal-conflict detection based on temporal satisfiability checking

IEEE/ACM International Conference on Automated Software Engineering ASE 2016

Lugar: Singapur; Año: 2016;

PABLO PONZIO; NAZARENO AGUIRRE; FRIAS, MARCELO; WILLEM VISSER

Field-exhaustive testing

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

Lugar: Seattle; Año: 2016;

FACUNDO MOLINA; CÉSAR CORNEJO; RENZO DEGIOVANNI; GERMÁN REGIS; CASTRO, PABLO F.; NAZARENO AGUIRRE; MARCELO FRIAS

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

19th Brazilian Symposium on Formal Methods: Foundations and Applications SBMF 2016

Lugar: Natal; Año: 2016;

GERMÁN REGIS; RENZO DEGIOVANNI; NICOLÁS D'IPPOLITO; NAZARENO AGUIRRE

Specifying Event-Based Systems with a Counting Fluent Temporal Logic

37th IEEE/ACM International Conference on Software Engineering ICSE 2015

Lugar: Florencia; Año: 2015;

RAMIRO DEMASI; PABLO CASTRO; NICOLÁS RICCI; TOM MAIBAUM; NAZARENO AGUIRRE

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications

International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2015

Lugar: Londres; Año: 2015;

MARTIN NORDIO; CHRISTIAN ESTLER; BERTRAND MEYER; NAZARENO AGUIRRE; RAFAEL PRIKLADNICKI; ELISABETTA DI NITTO; ANTHONY SAVIDIS

An experiment on teaching coordination in a globally distributed software engineering class

27th IEEE Conference on Software Engineering Education and Training, CSEE&T 2014

Lugar: Klagenfurt; Año: 2014;

CARLOS LÓPEZ POMBO; PABLO CASTRO; NAZARENO AGUIRRE; TOM MAIBAUM

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting

International Colloquium on Theoretical Aspects of Computing ICTAC 2014

Lugar: Bucarest; Año: 2014;

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

Bounded exhaustive test input generation from hybrid invariants

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

Lugar: Portland, Oregon; Año: 2014;

RENZO DEGIOVANNI; DALAL ALRAJEH; NAZARENO AGUIRRE; SEBASTIÁN UCHITEL

Automated goal operationalisation based on interpolation and SAT solving

International Conference on Software Engineering ICSE 2014

Lugar: Hyderabad; Año: 2014;

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

Ranger: Parallel analysis of alloy models by range partitioning

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

Lugar: Silicon valley; Año: 2013;

GASTÓN SCILINGO; MARÍA MARTA NOVAIRA; RENZO DEGIOVANNI; NAZARENO AGUIRRE

Analyzing formal requirements specifications using an off-the-shelf model checker

Conferencia Latinoamericana de Informática

Lugar: Naiguatá; Año: 2013;

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

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

6th IEEE International Conference on Software Testing, Verification and Validation ICST 2013

Lugar: Luxemburgo; Año: 2013;

RAÚL ALBORODO; NICOLÁS RICCI; JUAN PABLO GALEOTTI; NAZARENO AGUIRRE

Análisis Modular y Recuperación de Contraejemplos en TACO

Congreso Argentino en Ciencias de la Computación CACIC 2011

Lugar: La Plata, Provincia de Buenos Aires; Año: 2011;

MARTIN NORDIO; CARLO GHEZZI; BERTRAND MEYER; ELISABETTA DI NITTO; GIORDANO TAMBURELLI; JULIAN TSCHANNEN; NAZARENO AGUIRRE; VIDYA KULKARNI

Teaching Software Engineering using Globally Distributed Projects: the DOSE course

Workshop on Collaborative Teaching of Globally Distributed Software Development

Lugar: Hawaii; Año: 2011;

RODRIGO ARIÑO; RENZO DEGIOVANNI; RAÚL FERVARI; PABLO PONZIO; NAZARENO AGUIRRE

Mejorando la Aplicación de Abstracción por Predicados a Especificaciones DynAlloy

Congreso Argentino en Ciencias de la Computación CACIC 2010

Lugar: Morón, Buenos Aires; Año: 2010;

GERMÁN REGIS; NAZARENO AGUIRRE

Productos como referentes explícitos en el modelado de procesos de negocios

Congreso Argentino en Ciencias de la Computación CACIC 2009

Lugar: San Salvador de Jujuy, Jujuy, Argentina; Año: 2009;

RODRIGO ARIÑO; RENZO DEGIOVANNI; RAÚL FERVARI; PABLO PONZIO; NAZARENO AGUIRRE

Towards Scaling Up DynAlloy Analysis using Predicate Abstraction

Congreso Argentino en Ciencias de la Computación CACIC 2009

Lugar: San Salvador de Jujuy, Jujuy, Argentina; Año: 2009;

ARACELI ACOSTA; NAZARENO AGUIRRE

Hacia una Formalización de Sistemas Tolerantes a Fallas basada en Grafos Reactivos

Congreso Argentino en Ciencias de la Computación CACIC 2009

Lugar: San Salvador de Jujuy, Jujuy, Argentina; Año: 2009;

GERMÁN REGIS; NAZARENO AGUIRRE

Verificación de Propiedades Temporales en PPML

Congreso Argentino en Ciencias de la Computación

Lugar: Universidad Nacional de Chilecito, Chilecito, La Rioja; Año: 2008;

NAZARENO AGUIRRE; JAVIER BLANCO; MARÍA MARTA NOVAIRA; SONIA PERMIGIANI; GASTÓN SCILINGO

An Introductory Course on Programming based on Formal Specification and Program Calculation

First International Workshop on Formal Methods Education and Training

Lugar: Kitakyushu, Japón; Año: 2008;

NAZARENO AGUIRRE; MARÍA MARTA NOVAIRA; SONIA PERMIGIANI

Validating Dynamic Software Architectures using Alloy

Conferencia Latinoamericana de Informática

Lugar: Cali; Año: 2005;

NAZARENO AGUIRRE; MARÍA MARTA NOVAIRA; SONIA PERMIGIANI

Hacia la Composición Paralela de Programas en DynAlloy

Congreso Argentino en Ciencias de la Computación

Lugar: Universidad Nacional del Litoral, Concordia, Entre Ríos; Año: 2005;

PATRICIO MAC DONNELL; NAZARENO AGUIRRE

Usando el Ambiente Maude para la Demostración Semi-Automática de Teoremas en la Lógica Temporal Lineal de Primer Orden

Congreso Argentino en Ciencias de la Computación

Lugar: Universidad Nacional del Litoral, Concordia, Entre Ríos; Año: 2005;

NAZARENO AGUIRRE; GERMÁN REGIS

Verificación de Propiedades Temporales de Diseños CommUnity: Un Caso de Estudio

Congreso Argentino en Ciencias de la Computación

Lugar: Universidad Nacional del Litoral, Concordia, Entre Ríos; Año: 2005;

JUAN OVIEDO; NAZARENO AGUIRRE

The B Method as an Environment for the Verification of Eiffel Programs: A Case Study

Congreso Argentino en Ciencias de la Computación

Lugar: Universidad Nacional de La Matanza, La Matanza, Buenos Aires, Argentina; Año: 2004;

JORGE AGUIRRE; NAZARENO AGUIRRE

La Perplejidad como Recurso Didáctico

Congreso Argentino en Ciencias de la Computación CACIC 1999

Lugar: Tandil; Año: 1999;

JORGE AGUIRRE; NAZARENO AGUIRRE; MARCELO ARROYO; JAVIER SMALDONE

El Impacto del Software Abierto en la Enseñanza de la Computación

Congreso Argentino en Ciencias de la Computación CACIC 1999

Lugar: Tandil; Año: 1999;