Facundo Molina

29 papers A* 7A 6B 1Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Improving Deep Learning Library Testing with Machine Learning.
CoRR
Facundo Molina, M. M. Abid Naziri, Feiran (Alex) Qin, Alessandra Gorla, Marcelo d'Amorim
2025 — conf
Search-based Inference of Class Invariants.
GECCO Companion
Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio
2025 A* conf
State Field Coverage: A Metric for Oracle Quality.
ASE
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
2025 J jnl
State Field Coverage: A Metric for Oracle Quality.
CoRR
Facundo Molina, Nazareno Aguirre, Alessandra Gorla
2025 J jnl
Test Oracle Automation in the Era of LLMs.
ACM Trans. Softw. Eng. Methodol.
Facundo Molina, Alessandra Gorla, Marcelo d'Amorim
2024 J jnl
Abstraction-Aware Inference of Metamorphic Relations.
Proc. ACM Softw. Eng.
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
2024 J jnl
BEAPI: A tool for bounded exhaustive input generation from APIs.
Sci. Comput. Program.
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
2024 A conf
FixCheck: A Tool for Improving Patch Correctness Analysis.
ISSTA
Facundo Molina, Juan Manuel Copia, Alessandra Gorla
2024 A conf
Improving Patch Correctness Analysis via Random Testing and Large Language Models.
ICST
Facundo Molina, Juan Manuel Copia, Alessandra Gorla
2024 J jnl
Test Oracle Automation in the era of LLMs.
CoRR
Facundo Molina, Alessandra Gorla
2023 J jnl
Assertion Inferring Mutants.
CoRR
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
2023 B conf
Efficient Bounded Exhaustive Input Generation from Program APIs.
FASE
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
2023 A conf
Enabling Efficient Assertion Inference.
ISSRE
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
2023 A conf
EvoSpex: A Search-Based Tool for Postcondition Inference.
ISSTA
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2023 A conf
Precise Lazy Initialization for Programs with Complex Heap Inputs.
ISSRE
Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio
2023 A* conf
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.
ASE
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2023 J jnl
Specification Inference for Evolving Systems.
CoRR
Renzo Degiovanni, Facundo Molina, Agustín Nolasco, Nazareno Aguirre, Mike Papadakis
2022 A* conf
Fuzzing Class Specifications.
ICSE
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2022 J jnl
Fuzzing Class Specifications.
CoRR
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
2022 A conf
Learning to Prune Infeasible Paths in Generalized Symbolic Execution.
ISSRE
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2021 — conf
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).
ICSE (Companion Volume)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2021 A* conf
EvoSpex: An Evolutionary Algorithm for Learning Postconditions.
ICSE
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2021 J jnl
EvoSpex: An Evolutionary Algorithm for Learning Postconditions.
CoRR
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
2020 A* conf
Applying Learning Techniques to Oracle Synthesis.
ASE
Facundo Molina
2019 J jnl
An evolutionary approach to translating operational specifications into declarative specifications.
Sci. Comput. Program.
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2019 A* conf
Training binary classifiers as data structure invariants.
ICSE
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
2018 A* conf
A genetic algorithm for goal-conflict identification.
ASE
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
2018 — conf
From operational to declarative specifications using a genetic algorithm.
SBST@ICSE
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
2016 — conf
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.
SBMF
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias