Facundo Molina
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
8
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AST | Improving Deep Learning Library Testing with Machine Learning. | Facundo Molina, M. M. Abid Naziri, Feiran (Alex) Qin, Alessandra Gorla, Marcelo d'Amorim |
| 2026 | ICST | Improving Dynamic Specification Inference with LLM-Generated Counterexamples. | Agustn Balestra, Agustn Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre |
| 2025 | GECCO | Search-based Inference of Class Invariants. | Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio |
| 2025 | SSBSE | Search-Based Inference of Class Invariants: How Far Can Simulated Annealing Take Us? | Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio |
| 2024 | ICST | Improving Patch Correctness Analysis via Random Testing and Large Language Models. | Facundo Molina, Juan Manuel Copia, Alessandra Gorla |
| 2024 | ISSTA | FixCheck: A Tool for Improving Patch Correctness Analysis. | Facundo Molina, Juan Manuel Copia, Alessandra Gorla |
| 2023 | FASE | Efficient Bounded Exhaustive Input Generation from Program APIs. | Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio |
| 2023 | ISSRE | Precise Lazy Initialization for Programs with Complex Heap Inputs. | Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio |
| 2023 | ISSRE | Enabling Efficient Assertion Inference. | Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon |
| 2023 | ISSTA | EvoSpex: A Search-Based Tool for Postcondition Inference. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2022 | ICSE | Fuzzing Class Specifications. | Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre |
| 2022 | ISSRE | Learning to Prune Infeasible Paths in Generalized Symbolic Execution. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions. | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2021 | ICSE | EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). | Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias |
| 2019 | ICSE | Training binary classifiers as data structure invariants. | Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germn Regis, Nazareno Aguirre, Marcelo F. Frias |
| 2018 | ICSE | From operational to declarative specifications using a genetic algorithm. | Facundo Molina, Renzo Degiovanni, Germn Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias |