César Cornejo

According to our database, César Cornejo authored at least 6 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Study of the Electrum and DynAlloy Dynamic Behavior Notations.

César Cornejo, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

IEEE Trans. Software Eng., November, 2023

2020

SAT-Based Arithmetic Support for Alloy.

César Cornejo

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

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 F. Frias

Sci. Comput. Program., 2019

2017

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 D. Raverta, Pablo Ponzio, Nazareno Aguirre, Juan Pablo Galeotti, Marcelo F. Frias

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 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

Proceedings of the 10th IEEE/ACM International Workshop on Search-Based Software Testing, 2017

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 F. Frias

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016