DynAlloy Analyzer: A tool for the specification and analysis of Alloy models with dynamic behaviour G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ... Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 23 | 2017 |
An analysis of the suitability of test-based patch acceptance criteria L Zemín, SG Brida, A Godio, C Cornejo, R Degiovanni, G Regis, N Aguirre, ... 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing …, 2017 | 14 | 2017 |
An evolutionary approach to translating operational specifications into declarative specifications F Molina, C Cornejo, R Degiovanni, G Regis, PF Castro, N Aguirre, ... Science of Computer Programming 181, 47-63, 2019 | 8 | 2019 |
Analizando el uso de (Dyn) Alloy como herramienta educativa C Cornejo, M Politano, F Raverta, S Permigiani, PD Ponzio, G Regis, ... XXI Congreso Argentino de Ciencias de la Computación (Junín, 2015), 2015 | 1 | 2015 |
A Study of the Electrum and DynAlloy Dynamic Behavior Notations C Cornejo, G Regis, N Aguirre, MF Frias IEEE Transactions on Software Engineering, 2023 | | 2023 |
SAT-Based Arithmetic Support for Alloy C Cornejo 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | | 2020 |
Un análisis preliminar sobre reparación de modelos Alloy utilizando Sketching C Cornejo, G Regis, NM Aguirre XXV Congreso Argentino de Ciencias de la Computación (CACIC)(Universidad …, 2019 | | 2019 |
Experiencia de ensenanza de la programación en un contexto de vulnerabilidad social F Bavera, S Permigiani, G Scilingo, MM Novaira, C Kilmurray, M Arroyo, ... XXII Congreso Argentino de Ciencias de la Computación (CACIC 2016)., 2016 | | 2016 |