César Cornejo

Logo

PhD student, Computer Science Department, University of Rio Cuarto and CONICET - :e-mail:

View My GitHub Profile

Publications          Teaching         


Journals


2019

An evolutionary approach to translating operational specifications into declarative specifications.

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo Frias. - Science of Computer Programming, Volume 181.


Conferences


2017

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

Luciano Zemín, Simón Gutiérrez Brida, Ariel Godio, César Cornejo, Renzo Degiovanni, Germán Regis, Nazareno Aguirre, Marcelo F. Frias. - 10th SBST@ICSE 2017 - Buenos Aires, Argentina.

DynAlloy Analyzer: A Tool for the Specification and Analysis of Alloy Models with Dynamic Behaviour.

Germán Regis, César Cornejo, Simón Gutiérrez Brida, Mariano Politano, Fernando Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti y Marcelo Frias. - 11th Joint meeting of the European Software Engineering Conference and the ACM Sigsoft Symposium on the Foundations of Software Engineering – ESEC/FSE 2017 - Paderborn, Alemania

2016

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo Frias. - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil.



2019

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

César Cornejo, Germán Regis, Nazareno Aguirre. - Congreso Argentino de Ciencias de la Computación 2019.

2015

Analizando el uso de (Dyn) Alloy como herramienta educativa.

César Cornejo, Mariano Politano, Fernando Raverta, Sonia Permigiani, Pablo Daniel Ponzio, Germán Regis, Nazareno Matías Aguirre. - Congreso Argentino de Ciencias de la Computación 2015.