Automated goal operationalisation based on interpolation and sat solving R Degiovanni, D Alrajeh, N Aguirre, S Uchitel Proceedings of the 36th International Conference on Software Engineering …, 2014 | 18 | 2014 |
Training binary classifiers as data structure invariants F Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 11 | 2019 |
Goal-conflict detection based on temporal satisfiability checking R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre 2016 31st IEEE/ACM International Conference on Automated Software …, 2016 | 11 | 2016 |
Specifying event-based systems with a counting fluent temporal logic G Regis, R Degiovanni, N D'Ippolito, N Aguirre 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015 | 9 | 2015 |
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 | 8 | 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 | 7 | 2019 |
Goal-conflict likelihood assessment based on model counting R Degiovanni, P Castro, M Arroyo, M Ruiz, N Aguirre, M Frias 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE …, 2018 | 7 | 2018 |
A genetic algorithm for goal-conflict identification R Degiovanni, F Molina, G Regis, N Aguirre Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 6 | 2018 |
Abstraction based automated test generation from formal tabular requirements specifications R Degiovanni, P Ponzio, N Aguirre, M Frias International Conference on Tests and Proofs, 84-101, 2011 | 4 | 2011 |
Learning To Predict Vulnerabilities From Vulnerability-Fixes: A Machine Translation Approach A Garg, R Degiovanni, M Jimenez, M Cordy, M Papadakis, YL Traon arXiv preprint arXiv:2012.11701, 2020 | 3 | 2020 |
Analyzing formal requirements specifications using an off-the-shelf model checker G Scilingo, MM Novaira, R Degiovanni, N Aguirre 2013 XXXIX Latin American Computing Conference (CLEI), 1-9, 2013 | 3 | 2013 |
Cerebro: Static Subsuming Mutant Selection A Garg, M Ojdanic, R Degiovanni, TT Chekam, M Papadakis, YL Traon arXiv preprint arXiv:2112.14151, 2021 | 2 | 2021 |
Improving lazy abstraction for SCR specifications through constraint relaxation R Degiovanni, P Ponzio, N Aguirre, M Frias Software Testing, Verification and Reliability 28 (2), e1657, 2018 | 2 | 2018 |
From operational to declarative specifications using a genetic algorithm F Molina, R Degiovanni, G Regis, P Castro, N Aguirre, M Frias Proceedings of the 11th International Workshop on Search-Based Software …, 2018 | 1 | 2018 |
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software RG Degiovanni Universidad Nacional de Córdova, 2015 | 1 | 2015 |
Analyzing behavioural scenarios over tabular specifications using model checking G Scilingo, MM Novaira, R Degiovanni arXiv preprint arXiv:1401.0975, 2014 | 1 | 2014 |
Towards scaling up DynAlloy analysis using predicate abstraction R Arino, R Degiovanni, R Fervari, PD Ponzio, NM Aguirre XV Congreso Argentino de Ciencias de la Computación, 2009 | 1 | 2009 |
BERT: Mutation Testing using Pre-Trained Language Models R Degiovanni, M Papadakis arXiv preprint arXiv:2203.03289, 2022 | | 2022 |
Mutation Testing in Evolving Systems: Studying the relevance of mutants to code evolution M Ojdanic, E Soremekun, R Degiovanni, M Papadakis, YL Traon arXiv preprint arXiv:2112.14566, 2021 | | 2021 |
Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies M Ojdanic, A Garg, A Khanfir, R Degiovanni, M Papadakis, YL Traon arXiv preprint arXiv:2112.14508, 2021 | | 2021 |