Get started
Author

Facundo Molina

Test Oracle Automation in the Era of LLMs
2025 · Facundo Molina, Alessandra Gorla, et al. · ACM Transactions on Software Engineering and Methodology · 54
PDF
EvoSpex: An Evolutionary Algorithm for Learning Postconditions
2021 · Facundo Molina, Pablo Ponzio, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 43
PDF
Fuzzing class specifications
2022 · Facundo Molina, Marcelo d'Amorim, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 41
A genetic algorithm for goal-conflict identification
2018 · Renzo Degiovanni, Facundo Molina, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 26
Training Binary Classifiers as Data Structure Invariants
2019 · Facundo Molina, Renzo Degiovanni, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 21
PDF
Improving Patch Correctness Analysis via Random Testing and Large Language Models
2024 · Facundo Molina, Juan Manuel Copia, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 11
Enabling Efficient Assertion Inference
2023 · Aayush Garg, Renzo Degiovanni, et al. · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 9
Abstraction-Aware Inference of Metamorphic Relations
2024 · Agustín Nolasco, Facundo Molina, et al. · Proceedings of the ACM on software engineering. · 8
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications
2016 · Facundo Molina, César Cornejo, et al. · Lecture notes in computer science · 8
State Field Coverage: A Metric for Oracle Quality
2025 · Facundo Molina, Nazareno Aguirre, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 5
PDF
Learning to Prune Infeasible Paths in Generalized Symbolic Execution
2022 · Facundo Molina, Pablo Ponzio, et al. · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 5
An evolutionary approach to translating operational specifications into declarative specifications
2019 · Facundo Molina, César Cornejo, et al. · Science of Computer Programming · 5
Precise Lazy Initialization for Programs with Complex Heap Inputs
2023 · Juan Manuel Copia, Facundo Molina, et al. · Proceedings/Proceedings - International Symposium on Software Reliability Engineering · 4
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing
2023 · Facundo Molina, Marcelo d'Amorim, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 4
Fuzzing Class Specifications
2022 · Molina, Facundo, d'Amorim, Marcelo, et al. · JAIIO, Jornadas Argentinas de Informática · 3
PDF
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact)
2021 · Facundo Molina, Pablo Ponzio, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 3
Improving Dynamic Specification Inference with LLM-Generated Counterexamples
2026 · Agustín Balestra, Agustín Nolasco, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 2
EvoSpex: A Search-Based Tool for Postcondition Inference
2023 · Facundo Molina, Pablo Ponzio, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 2
Efficient Bounded Exhaustive Input Generation from Program APIs
2023 · Mariano Politano, Valeria Bengolea, et al. · Lecture notes in computer science · 2
PDF
From operational to declarative specifications using a genetic algorithm
2018 · Facundo Molina, Renzo Degiovanni, et al. · IEEE/ACM International Workshop on Search-Based Software Testing (SBST) · 2
Search-based Inference of Class Invariants
2025 · Juan Manuel Copia, Facundo Molina, et al. · Genetic and Evolutionary Computation Conference Companion (GECCO Companion) · 1
FixCheck: A Tool for Improving Patch Correctness Analysis
2024 · Facundo Molina, Juan Manuel Copia, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 1
PDF
Specification Inference for Evolving Systems
2023 · Degiovanni, Renzo, Molina, Facundo, et al. · arXiv (Cornell University) · 1
PDF
Assertion Inferring Mutants
2023 · Garg, Aayush, Degiovanni, Renzo, et al. · arXiv (Cornell University) · 1
PDF
Applying learning techniques to oracle synthesis
2020 · Facundo Molina · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 1
Works count: 45
Citation count: 263
H-index: 8
I10-index: 6
Year
Topic
Type