CÉSAR CORNEJO; AGUSTÍN BORDA; NAZARENO AGUIRRE; MARCELO FRIAS; PABLO PONZIO; GERMÁN REGIS

Automated Generation of Database Mocks with Symbolic Execution (presentation)

4th International KLEE Workshop on Symbolic Execution

Lugar: Lisboa; Año: 2024;

CÉSAR CORNEJO; MARIA MARTA NOVAIRA; SONIA PERMIGIANI; NAZARENO AGUIRRE; MARCELO FRIAS; SIMON GUTIERREZ; GERMÁN REGIS

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

Rigorous State-Based Methods: 10th International Conference, ABZ 2024

Lugar: Bergamo; Año: 2024;

CESAR CORNEJO

SAT-Based Arithmetic Support for Alloy

35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Doctoral Symposium

Año: 2020;

CÉSAR CORNEJO; GERMÁN REGIS; NAZARENO AGUIRRE

Un Análisis preliminar sobre reparación de modelos Alloy utilizando Sketching

XXV Congreso Argentino de Ciencias de la Computación (Rio Cuarto, 2019)

Lugar: Rio Cuarto; Año: 2019;

GERMAN REGIS; CÉSAR CORNEJO; SIMON GUTIERREZ; 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 OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING

Lugar: Paderborn; Año: 2017;

LUCIANO ZEMIN; SIMON GUTIERREZ; ARIEL GODIO; CÉSAR CORNEJO; RENZO DEGIOVANNI; GERMAN REGIS; NAZARENO AGUIRRE; MARCELO FRIAS

An Analysis of the Suitability of Test-based Patch Aceceptance Criteria

10th International Workshop on Search-Based Software Testing in conjunction with ICSE 2017 - ACM/IEEE International Conference on Software Engineering

Lugar: Buenos Aires; Año: 2017;

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

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications

19th Brazilian Symposium on Formal Methods

Lugar: Natal; Año: 2016;

CORNEJO, CÉSAR; POLITANO, MARIANO; RAVERTA, FERNANDO ; PERMIGIANI, SONIA; PONZIO, PABLO DANIEL; REGIS, GERMÁN; AGUIRRE, NAZARENO MATIAS

Analizando el uso de (Dyn)Alloy como herramienta educativa

XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015)

Lugar: Junín; Año: 2015;