Nazareno Aguirre
Universidad Nacional de Río Cuarto
H-index: 18
Latin America-Argentina
Top articles of Nazareno Aguirre
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SpecBCFuzz: Fuzzing LTL Solvers with Boundary Conditions | Luiz Carvalho Renzo Degiovanni Maxime Cordy Nazareno Aguirre Yves Le Traon | 2024/4/12 | |
Abstraction-Aware Inference of Metamorphic Relations | AGUSTÍN NOLASCO FACUNDO MOLINA RENZO DEGIOVANNI ALESSANDRA GORLA DIEGO GARBERVETSKY | 2024 | |
Enabling efficient assertion inference | Aayush Garg Renzo Degiovanni Facundo Molina Maxime Cordy Nazareno Aguirre | 2023/10/9 | |
Specification Inference for Evolving Systems | arXiv preprint arXiv:2301.12403 | Renzo Degiovanni Facundo Molina Agustin Nolasco Nazareno Aguirre Mike Papadakis | 2023/1/29 |
A Study of the Electrum and DynAlloy Dynamic Behavior Notations | IEEE Transactions on Software Engineering | César Cornejo Germán Regis Nazareno Aguirre Marcelo F Frias | 2023/9/29 |
Assertion Inferring Mutants | arXiv preprint arXiv:2301.12284 | Aayush Garg Renzo Degiovanni Facundo Molina Mike Papadakis Nazareno Aguirre | 2023/1/28 |
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing | Facundo Molina Marcelo d'Amorim Nazareno Aguirre | 2023/9/11 | |
Automated repair of unrealisable LTL specifications guided by model counting | Matías Brizzio Maxime Cordy Mike Papadakis César Sánchez Nazareno Aguirre | 2023/7/15 | |
ACoRe: automated goal-conflict resolution | 26th International Conference on Fundamental Approaches to Software Engineering (FASE) | Luiz Carvalho Renzo Gaston DEGIOVANNI Matıas Brizzio Maxime Cordy Nazareno Aguirre | 2023 |
EvoSpex: A Search-Based Tool for Postcondition Inference | Facundo Molina Pablo Ponzio Nazareno Aguirre Marcelo F Frias | 2023/7/12 | |
Precise Lazy Initialization for Programs with Complex Heap Inputs | Juan Manuel Copia Facundo Molina Nazareno Aguirre Marcelo F Frias Alessandra Gorla | 2023/10/9 | |
Efficient Bounded Exhaustive Input Generation from Program APIs | Mariano Politano Valeria Bengolea Facundo Molina Nazareno Aguirre Marcelo F Frias | 2023/4/20 | |
ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications | Simón Gutiérrez Brida Germán Regis Guolong Zheng Hamid Bagheri ThanhVu Nguyen | 2022/10/10 | |
Atr: Template-based repair for alloy specifications | Guolong Zheng ThanhVu Nguyen Simón Gutiérrez Brida Germán Regis Nazareno Aguirre | 2022/7/18 | |
Fuzzing class specifications | Facundo Molina Marcelo d'Amorim Nazareno Aguirre | 2022/5/21 | |
Learning to prune infeasible paths in generalized symbolic execution | Facundo Molina Pablo Ponzio Nazareno Aguirre Marcelo Frias | 2022/10/31 | |
Lissa: Lazy initialization with specialized solver aid | Juan Manuel Copia Pablo Ponzio Nazareno Aguirre Alessandra Gorla Marcelo Frias | 2022/10/10 | |
Efficient bounded model checking of heap-manipulating programs using tight field bounds | Pablo Ponzio Ariel Godio Nicolás Rosner Marcelo Arroyo Nazareno Aguirre | 2021 | |
EvoSpex: an evolutionary algorithm for learning postconditions (artifact) | Facundo Molina Pablo Ponzio Nazareno Aguirre Marcelo Frias | 2021/5/25 | |
Artifact of bounded exhaustive search of alloy specification repairs | Simón Gutiérrez Brida Germán Regis Guolong Zheng Hamid Bagheri ThanhVu Nguyen | 2021/5/25 |