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

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

ASE '22: 37th IEEE/ACM International Conference on Automated Software Engineering

Lugar: Rochester; Año: 2022;

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

ATR: Template-based Repair for Alloy Specifications

ISSTA 2022: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis

Lugar: Virtual; Año: 2022;

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

Artifact of 'FLACK: Counterexample-Guided Fault Localization for Alloy Models'

ICSE 2021 : 43rd International Conference on Software Engineering

Lugar: Madrid; Año: 2021;

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

Artifact of Bounded Exhaustive Search of Alloy Specification Repairs

ICSE 2021 : 43rd International Conference on Software Engineering

Lugar: Madrid; Año: 2021;

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

FLACK: Counterexample-Guided Fault Localization for Alloy Models

ICSE 2021 : 43rd International Conference on Software Engineering

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

ASE '21: 36th IEEE/ACM International Conference on Automated Software Engineering

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

ASE '21: 36th IEEE/ACM International Conference on Automated Software Engineering

Lugar: Melbourne; Año: 2021;

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

FLACK: Counterexample-Guided Fault Localization for Alloy Models

ASSE - ARGENTINE SYMPOSIUM on SOFTWARE ENGINEERING 2021

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

ASSE - ARGENTINE SYMPOSIUM on SOFTWARE ENGINEERING 2021

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

ICSE 2021 : 43rd International Conference on Software Engineering

Lugar: Madrid; Año: 2021;

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

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

11th International Workshop on Search-Based Software Testing

Lugar: Gotemburgo; Año: 2018;

SIMÓN GUTIÉRREZ BRIDA; GASTÓN SCILINGO

Boolean expression extender - A mutation operator for strengthening and weakening boolean expressions.

2017 XLIII Latin American Computer Conference (CLEI)

Lugar: Córdoba; Año: 2017;

LUCIANO ZEMÍN; SIMÓN 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 International Workshop on Search-Based Software Testing

Lugar: Buenos Aires; Año: 2017;

GERMÁN REGIS; CÉSAR CORNEJO; SIMÓN 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.

2017 11th Joint Meeting on Foundations of Software Engineering

Lugar: Paderborn; Año: 2017;

VALERIA SUSANA BENGOLEA; SIMÓN EMMANUEL GUTIÉRREZ BRIDA; NAZARENO MATÍAS AGUIRRE

Criterios de Cobertura sobre RepOK para Reducir Test Suites Exhaustivas Acotadas: Estudio de Casos

XVIII Congreso Argentino de Ciencias de la Computación

Lugar: Bahía Blanca; Año: 2012;