| 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 | 24 | 2014 |
| Goal-conflict detection based on temporal satisfiability checking R Degiovanni, N Ricci, D Alrajeh, P Castro, N Aguirre Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 23 | 2016 |
| µbert: Mutation testing using pre-trained language models R Degiovanni, M Papadakis 2022 IEEE International Conference on Software Testing, Verification and …, 2022 | 22 | 2022 |
| Cerebro: Static subsuming mutant selection A Garg, M Ojdanic, R Degiovanni, TT Chekam, M Papadakis, Y Le Traon IEEE Transactions on Software Engineering 49 (1), 24-43, 2022 | 22 | 2022 |
| Learning from what we know: How to perform vulnerability prediction using noisy historical data A Garg, R Degiovanni, M Jimenez, M Cordy, M Papadakis, Y Le Traon Empirical Software Engineering 27 (7), 169, 2022 | 21 | 2022 |
| 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 | 19 | 2019 |
| 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 | 19 | 2018 |
| Goal-conflict likelihood assessment based on model counting R Degiovanni, P Castro, M Arroyo, M Ruiz, N Aguirre, M Frias Proceedings of the 40th International Conference on Software Engineering …, 2018 | 16 | 2018 |
| Syntactic vs. semantic similarity of artificial and real faults in mutation testing studies M Ojdanic, A Garg, A Khanfir, R Degiovanni, M Papadakis, Y Le Traon IEEE Transactions on Software Engineering, 2023 | 14 | 2023 |
| 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 |
| 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 326, 2020 | 12 | 2020 |
| 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 | 12 | 2015 |
| Mutation testing in evolving systems: Studying the relevance of mutants to code evolution M Ojdanic, E Soremekun, R Degiovanni, M Papadakis, Y Le Traon ACM Transactions on Software Engineering and Methodology 32 (1), 1-39, 2023 | 10 | 2023 |
| Efficient mutation testing via pre-trained language models A Khanfir, R Degiovanni, M Papadakis, YL Traon arXiv preprint arXiv:2301.03543, 2023 | 10 | 2023 |
| Automated repair of unrealisable LTL specifications guided by model counting M Brizzio, M Cordy, M Papadakis, C Sánchez, N Aguirre, R Degiovanni Proceedings of the Genetic and Evolutionary Computation Conference, 1499-1507, 2023 | 8 | 2023 |
| 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 |
| ACoRe: automated goal-conflict resolution L Carvalho, RG DEGIOVANNI, M Brizzio, M Cordy, N Aguirre, Y Le Traon, ... 26th International Conference on Fundamental Approaches to Software …, 2023 | 5 | 2023 |
| Abstraction based automated test generation from formal tabular requirements specifications R Degiovanni, P Ponzio, N Aguirre, M Frias Tests and Proofs: 5th International Conference, TAP 2011, Zurich …, 2011 | 5 | 2011 |
| On comparing mutation testing tools through learning-based mutant selection M Ojdanic, A Khanfir, A Garg, R Degiovanni, M Papadakis, Y Le Traon 2023 IEEE/ACM International Conference on Automation of Software Test (AST …, 2023 | 4 | 2023 |
| 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 | 4 | 2018 |
