دنبال کردن
Renzo Degiovanni
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
37*2022
µbert: Mutation testing using pre-trained language models‏
R Degiovanni, M Papadakis‏
2022 IEEE International Conference on Software Testing, Verification and …, 2022‏
372022
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‏
302022
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‏
282016
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‏
242018
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‏
242014
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‏
222018
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‏
212023
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‏
212019
Syntactic versus 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 49 (7), 3922-3938, 2023‏
182023
Efficient mutation testing via pre-trained language models‏
A Khanfir, R Degiovanni, M Papadakis, YL Traon‏
arXiv preprint arXiv:2301.03543, 2023‏
182023
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‏
152017
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
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‏
92023
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‏
92023
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‏
92023
Enabling efficient assertion inference‏
A Garg, R Degiovanni, F Molina, M Cordy, N Aguirre, M Papadakis, ...‏
2023 IEEE 34th International Symposium on Software Reliability Engineering …, 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‏
72019
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‏
52018
On the Coupling between Vulnerabilities and LLM-generated Mutants: A Study on Vul4J dataset‏
A Garg, R Degiovanni, M Papadakis, Y Le Traon‏
2024 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2024‏
42024
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20