Facundo Molina
Facundo Molina
Verified email at dc.exa.unrc.edu.ar
TitleCited byYear
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, 2019
42019
Training binary classifiers as data structure invariants
F Molina, R Degiovanni, P Ponzio, G Regis, N Aguirre, M Frias
Proceedings of the 41st International Conference on Software Engineering …, 2019
12019
A genetic algorithm for goal-conflict identification.
R Degiovanni, F Molina, G Regis, N Aguirre
ASE, 520-531, 2018
12018
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
The system can't perform the operation now. Try again later.
Articles 1–4