Follow
Facundo Molina
Facundo Molina
Postdoctoral Researcher, IMDEA Software Institute
Verified email at dc.exa.unrc.edu.ar
Title
Cited by
Cited by
Year
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
132019
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
102018
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
82019
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
42021
Fuzzing class specifications
F Molina, M d'Amorim, N Aguirre
arXiv preprint arXiv:2201.10874, 2022
32022
Applying learning techniques to oracle synthesis
F Molina
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
12020
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 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
The system can't perform the operation now. Try again later.
Articles 1–10