| 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 | 13 | 2019 |
| 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 | 10 | 2018 |
| 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 |
| 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 | 4 | 2021 |
| Fuzzing class specifications F Molina, M d'Amorim, N Aguirre arXiv preprint arXiv:2201.10874, 2022 | 3 | 2022 |
| Applying learning techniques to oracle synthesis F Molina 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | 1 | 2020 |
| 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 |
| Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones FJ Molina | | 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 | | 2021 |
| Learning to Prune Infeasible Paths in Generalized Symbolic Execution F Molina, P Ponzio, N Aguirre, M Frias | | |
Nazareno AguirreUniversidad Nacional de Río Cuarto / Consejo Nacional de Investigaciones Científicas y TécnicasVerified email at dc.exa.unrc.edu.ar
