César Cornejo

Logo

Ph.D. in Computer Science, University of Rio Cuarto and CONICET -

View My GitHub Profile

Publications          Teaching         



About Me

I am a CONICET funded Postdoctoral Researcher at the Software Engineering and Formal Methods Group working under the supervision of Professor Nazareno Aguirre.

In July 2024, I received my Ph.D. at FAMAF, University of Cordoba, Argentina. I was advised by professor Germán Regis. My work "Specification of Dynamic Models and Automatic Property Analysis with Alloy-based Tools" is available here.

Service



News

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)