Follow
Renzo Degiovanni
Title
Cited by
Cited by
Year
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
29*2022
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
252014
µbert: Mutation testing using pre-trained language models
R Degiovanni, M Papadakis
2022 IEEE International Conference on Software Testing, Verification and …, 2022
222022
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
222016
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
212022
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
172018
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
162019
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
152018
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
142017
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
132023
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
122015
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
82023
Efficient Mutation Testing via Pre-Trained Language Models
A Khanfir, R Degiovanni, M Papadakis, YL Traon
arXiv preprint arXiv:2301.03543, 2023
82023
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
82019
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
62023
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
52011
On Comparing Mutation Testing Tools through Learning-based Mutant Selection
M Ojdanic, A Khanfir, A Garg, R Degiovanni, M Papadakis, Y Le Traon
4th ACM/IEEE International Conference on Automation of Software Test (AST 2023), 2023
42023
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
42018
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
42013
Enabling Efficient Assertion Inference
A Garg, R Degiovanni, F Molina, M Cordy, N Aguirre, M Papadakis, ...
4*
The system can't perform the operation now. Try again later.
Articles 1–20