| 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 | 26 | 2021 |
| Fuzzing class specifications F Molina, M d'Amorim, N Aguirre Proceedings of the 44th International Conference on Software Engineering …, 2022 | 24 | 2022 |
| 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 | 22 | 2018 |
| 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 | 19 | 2019 |
| EvoSpex: An evolutionary algorithm for learning postconditions. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) F Molina, P Ponzio, N Aguirre, M Frias IEEE, 2021 | 8 | 2021 |
| 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 | 8 | 2019 |
| Assertion inferring mutants A Garg, R Degiovanni, F Molina, M Papadakis, N Aguirre, M Cordy, ... arXiv preprint arXiv:2301.12284, 2023 | 4 | 2023 |
| Applying learning techniques to oracle synthesis F Molina Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020 | 4 | 2020 |
| 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 | 2 | 2023 |
| Improving Patch Correctness Analysis via Random Testing and Large Language Models F Molina, JM Copia, A Gorla 2024 IEEE Conference on Software Testing, Verification and Validation (ICST …, 2024 | 1 | 2024 |
| Test Oracle Automation in the era of LLMs F Molina, A Gorla arXiv preprint arXiv:2405.12766, 2024 | 1 | 2024 |
| Efficient Bounded Exhaustive Input Generation from Program APIs M Politano, V Bengolea, F Molina, N Aguirre, MF Frias, P Ponzio International Conference on Fundamental Approaches to Software Engineering …, 2023 | 1 | 2023 |
| Specification inference for evolving systems R Degiovanni, F Molina, A Nolasco, N Aguirre, M Papadakis arXiv preprint arXiv:2301.12403, 2023 | 1 | 2023 |
| Learning to prune infeasible paths in generalized symbolic execution F Molina, P Ponzio, N Aguirre, M Frias 2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022 | 1 | 2022 |
| EvoSpex: an evolutionary algorithm for learning postconditions (artifact) F Molina, P Ponzio, N Aguirre, M Frias 2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021 | 1 | 2021 |
| 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 | 1 | 2018 |
| FixCheck: A Tool for Improving Patch Correctness Analysis F Molina, JM Copia, A Gorla Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
| 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 | | 2024 |
| BEAPI: A Tool for Bounded Exhaustive Input Generation from APIs M Politano, V Bengolea, F Molina, N Aguirre, M Frias, P Ponzio Science of Computer Programming, 103153, 2024 | | 2024 |
| Precise Lazy Initialization for Programs with Complex Heap Inputs JM Copia, F Molina, N Aguirre, MF Frias, A Gorla, P Ponzio 2023 IEEE 34th International Symposium on Software Reliability Engineering …, 2023 | | 2023 |
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y Técnicas在 dc.exa.unrc.edu.ar 的电子邮件经过验证
