Follow
Facundo Molina
Facundo Molina
Postdoctoral Researcher, IMDEA Software Institute
Verified email at dc.exa.unrc.edu.ar - Homepage
Title
Cited by
Cited by
Year
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
212021
Fuzzing class specifications
F Molina, M d'Amorim, N Aguirre
Proceedings of the 44th International Conference on Software Engineering …, 2022
192022
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
172019
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
172018
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. In 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)
F Molina, P Ponzio, N Aguirre, M Frias
IEEE, 2021
62021
Applying learning techniques to oracle synthesis
F Molina
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
42020
Assertion Inferring Mutants
A Garg, R Degiovanni, F Molina, M Papadakis, N Aguirre, M Cordy, ...
arXiv preprint arXiv:2301.12284, 2023
22023
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
12023
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
12022
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
12021
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
Abstraction-Aware Inference of Metamorphic Relations
A NOLASCO, F MOLINA, R DEGIOVANNI, A GORLA, D GARBERVETSKY, ...
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
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing
F Molina, M d'Amorim, N Aguirre
2023 38th IEEE/ACM International Conference on Automated Software …, 2023
2023
EvoSpex: A Search-Based Tool for Postcondition Inference
F Molina, P Ponzio, N Aguirre, MF Frias
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
2023
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
2023
Specification Inference for Evolving Systems
R Degiovanni, F Molina, A Nolasco, N Aguirre, M Papadakis
arXiv preprint arXiv:2301.12403, 2023
2023
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
FJ Molina
2022
SCAM 2023
C Newman, E Alomar, FA Fontana, L Bao, A Bergel, A Blasi, E Choi, ...
The system can't perform the operation now. Try again later.
Articles 1–20