César Cornejo

Publications Teaching

Ph.D. in Computer Science.
PostDoctoral Researcher at University of Bergamo, Italy.
Teaching Assistant at the Computer Science Department, University of Rio Cuarto.

About Me

I am a Postdoctoral Researcher at the University of Bergamo, working on software engineering, formal methods, and software testing. My current work focuses on the development and evaluation of tools and techniques for the ASMETA framework, including automated testing and graphical tooling for the construction and analysis of formal models.

In July 2024, I received my Ph.D. at FAMAF, University of Cordoba, Argentina, under the supervision of Professor Germán Regis. My Ph.D. thesis, "Specification of Dynamic Models and Automatic Property Analysis with Alloy-based Tools" is available here.

After completing my Ph.D. and before joining the University of Bergamo, I worked as a CONICET funded Postdoctoral Researcher at the Software Engineering and Formal Methods Group working under the supervision of Professor Nazareno Aguirre.

My main research interests include software engineering, formal methods, program analysis, software verification, model checking, and software testing, with a particular interest in the development of tools that make automated analysis techniques more practical and accessible to software developers.

Service

News

Our paper “Evaluating Coverage and Fault Detection Capability of Scenario-Based Validation of Asmeta Specifications.” has been accepted for publication in NASA Formal Methods 2026.

Our paper “Evaluating the Practical Impact of Parallelism in Asmeta.” has been accepted for publication in ABZ2026.

Our paper “An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria” has been accepted for publication in ACM Transactions on Software Engineering and Methodology (TOSEM).

Our paper “A Study of the Electrum and DynAlloy Dynamic Behavior Notations” has been accepted for publication in IEEE Transactions on Software Engineering.

Our paper “An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding” has been accepted for publication at 10th International Conference on Rigorous State-Based Methods (ABZ2024)