Renzo Degiovanni
Tytuł
Cytowane przez
Cytowane przez
Rok
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
172014
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
102016
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
92019
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
92015
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
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
72017
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
62018
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
52018
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
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
42011
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
22018
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
12018
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
12015
Analyzing behavioural scenarios over tabular specifications using model checking
G Scilingo, MM Novaira, R Degiovanni
arXiv preprint arXiv:1401.0975, 2014
12014
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
12009
Automated Repair of Unrealisable LTL Specifications Guided by Model Counting
M Brizzio, R Degiovanni, M Cordy, M Papadakis, N Aguirre
arXiv preprint arXiv:2105.12595, 2021
2021
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
2020
CLTSA: labelled transition system analyser with counting fluent support
G Regis, R Degiovanni, N D'Ippolito, N Aguirre
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
2017
Especificando sistemas basados en eventos con una lógica temporal con fluentes contadores
G Regis, R Degiovanni, N D’Ippolito, NM Aguirre
Simposio Argentino de Ingeniería de Software (ASSE 2016)-JAIIO 45 (Tres de …, 2016
2016
Lógicas modales con operadores de cambio de accesibilidad
RA Fervari, I Altamirano, D Barsotti, VS Bengolea, CE Budde, ...
Universidad Nacional de Córdoba, Argentina, 2014
2014
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20