Publications

Journals

2018

"Improving lazy abstraction for SCR specifications through constraint relaxation". R. Degiovanni, P. Ponzio, N. Aguirre and M. Frias.
Journal of Software: Testing, Verification and Reliability (STVR), 2018.

Papers

2018

"Goal-Conflict Likelihood Assessment based on Model Counting".
R. Degiovanni, P. Castro, M. Arroyo, M. Ruiz, N. Aguirre and M. Frias.
40th International Conference on Software Engineering, Gothemburg, Sweden, 2018 (ICSE 2018).

2017

"CLTSA: labelled transition system analyser with counting fluent support". G. Regis, R. Degiovanni, N. D'Ippolito and N. Aguirre.
11th Joint Meeting on Foundations of Software Engineering, Paderborn, Germany, 2017 (ESEC/FSE 2017) - tool paper.

"An Analysis of the Suitability of Test-Based Patch Acceptance Criteria". L. Zemín, S. Gutiérrez, A. Godio, C. Cornejo, R. Degiovanni, G. Regis, N. Aguirre, M. Frias.
10th IEEE/ACM International Workshop on Search-Based Software Testing, Buenos Aires, Argentina, 2017 (SBST@ICSE 2017).

2016

"Goal-Conflict Detection based on Temporal Satisfiability Checking".
R. Degiovanni, N. Ricci, D. Alrajeh, P. Castro and N. Aguirre.
31st IEEE/ACM International Conference on Automated Software Engineering, Singapore, Singapore, 2016 (ASE 2016).

"An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications". F. Molina, C. Cornejo, R. Degiovanni, G. Regis, P. F. Castro, N. Aguirre, M. Frias.
19th Brazilian Symposium, Natal, Brazil, 2016 (SBMF 2016).

2015

"Specifying Event-Based Systems with a Counting Fluent Temporal Logic". G. Regis, R. Degiovanni, N. D'Ippolito and N. Aguirre.
37th International Conference on Software Engineering, Florencia, Italia, 2015 (ICSE 2015).

2014

"Automated Goal Operationalisation based on Interpolation and SAT Solving". R. Degiovanni, D. Alrajeh, N. Aguirre y S. Uchitel.
36th International Conference on Software Engineering, Hyderabad, India, 2014 (ICSE 2014).

2013

"Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking". G. Scilingo, M. M. Novaira y R. Degiovanni. Proceedings de Latin American Workshop on Formal Methods LAFM 2013, Buenos Aires, Argentina.

"Analizando Especificaciones Formales de Requisitos de Software usando un Model Checker Off-the-Shelf". G. Scilingo, M. M. Novaira, R. Degiovanni y N. Aguirre. Proceedings of Conferencia Latinoamericana en Informática CLEI 2013, Vargas, Venezuela.

2011

"Abstraction based Automated Test Generation from Formal Tabular Requirements Specifications".
R. Degiovanni, P. Ponzio, N. Aguirre y M. Frias.
Tests and Proofs - 5th International Conference, Zurich, Switzerland, 2011 (TAP 2011).

Others

"Mejorando la Aplicación de Abstracción por Predicados a Especificaciones DynAlloy". R. Ariño, R. Degiovanni, R. Fervari, P. Ponzio y N. Aguirre. Congreso Argentino de Ciencias de la Computación 2010 (CACIC 2010).

"Towards Scaling Up DynAlloy Analysis using Predicate Abstraction". R. Ariño, R. Degiovanni, R. Fervari, P. Ponzio y N. Aguirre. Congreso Argentino de Ciencias de la Computación 2009 (CACIC 2009).