受强制性开放获取政策约束的文章 - Nazareno Aguirre了解详情
可在其他位置公开访问的文章：33 篇
Bounded exhaustive search of alloy specification repairs
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
Field-exhaustive testing
P Ponzio, N Aguirre, MF Frias, W Visser
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
强制性开放获取政策： Government of Argentina
Fuzzing class specifications
F Molina, M d'Amorim, N Aguirre
Proceedings of the 44th International Conference on Software Engineering …, 2022
强制性开放获取政策： Government of Argentina
Evospex: An evolutionary algorithm for learning postconditions
F Molina, P Ponzio, N Aguirre, M Frias
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
强制性开放获取政策： Government of Argentina
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
强制性开放获取政策： European Commission, Government of Argentina
DynAlloy analyzer: a tool for the specification and analysis of alloy models with dynamic behaviour
G Regis, C Cornejo, S Gutiérrez Brida, M Politano, F Raverta, P Ponzio, ...
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
强制性开放获取政策： Government of Argentina
Atr: Template-based repair for alloy specifications
G Zheng, TV Nguyen, SG Brida, G Regis, N Aguirre, MF Frias, H Bagheri
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
强制性开放获取政策： US National Science Foundation, Government of Argentina
Flack: Counterexample-guided fault localization for alloy models
G Zheng, TV Nguyen, SG Brida, G Regis, MF Frias, N Aguirre, H Bagheri
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
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
强制性开放获取政策： Agence Nationale de la Recherche, Government of Argentina
Bounded exhaustive test input generation from hybrid invariants
N Rosner, V Bengolea, P Ponzio, SA Khalek, N Aguirre, MF Frias, ...
ACM SIGPLAN Notices 49 (10), 655-674, 2014
强制性开放获取政策： Government of Argentina
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications
S Gutiérrez Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, ...
Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
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
强制性开放获取政策： Government of Argentina
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
强制性开放获取政策： Luxembourg National Research Fund
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
强制性开放获取政策： Agence Nationale de la Recherche, Government of Argentina
BeAFix: an automated repair tool for faulty alloy models
SG Brida, G Regis, G Zheng, H Bagheri, TV Nguyen, N Aguirre, M Frias
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
强制性开放获取政策： US National Science Foundation, US Department of Defense, Government of …
Efficient tight field bounds computation based on shape predicates
P Ponzio, N Rosner, N Aguirre, M Frias
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
强制性开放获取政策： Government of Argentina
Simulation relations for fault-tolerance
R Demasi, PF Castro, TSE Maibaum, N Aguirre
Formal Aspects of Computing 29, 1013-1050, 2017
强制性开放获取政策： Government of Argentina
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
强制性开放获取政策： Luxembourg National Research Fund
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
强制性开放获取政策： Government of Argentina
Abstraction-Aware Inference of Metamorphic Relations
A Nolasco, F Molina, R Degiovanni, A Gorla, D Garbervetsky, ...
Proceedings of the ACM on Software Engineering 1 (FSE), 450-472, 2024
强制性开放获取政策： European Commission, Luxembourg National Research Fund, Government of Argentina
出版信息和资助信息由计算机程序自动确定