Follow
Facundo Molina
Facundo Molina
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
112019
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
72019
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
62018
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
32021
Fuzzing Class Specifications
F Molina, M d'Amorim, N Aguirre
arXiv preprint arXiv:2201.10874, 2022
12022
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
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
The system can't perform the operation now. Try again later.
Articles 1–8