César Cornejo

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

Collaborative distances:

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

2026

Replication Package for "Evaluating coverage and fault detection capability of scenarios for the validation of Asmeta specifications".

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Dataset, January, 2026

Replication Package for "Evaluating coverage and fault detection capability of scenarios for the validation of Asmeta specifications".

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Dataset, January, 2026

Evaluating the Practical Impact of Parallelism in Asmeta.

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Proceedings of the Rigorous State-Based Methods - 12th International Conference, 2026

Evaluating Coverage and Fault Detection Capability of Scenario-Based Validation of Asmeta Specifications.

Andrea Bombarda, Silvia Bonfanti, César Cornejo, Angelo Gargantini, Nico Pellegrinelli

Proceedings of the NASA Formal Methods, 2026

2025

An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria.

Luciano Zemín, Ariel Godio, César Cornejo, Renzo Degiovanni, Simón Gutiérrez Brida, Germán Regis, Nazareno Aguirre, Marcelo Fabian Frias

ACM Trans. Softw. Eng. Methodol., March, 2025

2024

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

César Cornejo, María Marta Novaira, Sonia Permigiani, Nazareno Aguirre, Marcelo F. Frias, Simón Gutiérrez Brida, Germán Regis

Proceedings of the Rigorous State-Based Methods - 10th International Conference, 2024

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