Facundo Molina

According to our database, Facundo Molina authored at least 29 papers between 2016 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Improving Dynamic Specification Inference with LLM-Generated Counterexamples.

Agustín Balestra, Agustín Nolasco, Facundo Molina, Diego Garbervetsky, Renzo Degiovanni, Nazareno Aguirre

CoRR, April, 2026

Improving Deep Learning Library Testing with Machine Learning.

Facundo Molina, M. M. Abid Naziri, Feiran (Alex) Qin, Alessandra Gorla, Marcelo d'Amorim

CoRR, February, 2026

2025

Test Oracle Automation in the Era of LLMs.

Facundo Molina, Alessandra Gorla, Marcelo d'Amorim

ACM Trans. Softw. Eng. Methodol., June, 2025

Search-Based Inference of Class Invariants: How Far Can Simulated Annealing Take Us?

Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio

Proceedings of the Search-Based Software Engineering, 2025

State Field Coverage: A Metric for Oracle Quality.

Facundo Molina, Nazareno Aguirre, Alessandra Gorla

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

Search-based Inference of Class Invariants.

Juan Manuel Copia, Facundo Molina, Alessandra Gorla, Nazareno Aguirre, Pablo Ponzio

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2025

2024

Abstraction-Aware Inference of Metamorphic Relations (Replication Package).

Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias

Dataset, February, 2024

BEAPI: A tool for bounded exhaustive input generation from APIs.

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio

Sci. Comput. Program., 2024

Abstraction-Aware Inference of Metamorphic Relations.

Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias

Proc. ACM Softw. Eng., 2024

Test Oracle Automation in the era of LLMs.

Facundo Molina, Alessandra Gorla

CoRR, 2024

FixCheck: A Tool for Improving Patch Correctness Analysis.

Facundo Molina, Juan Manuel Copia, Alessandra Gorla

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Improving Patch Correctness Analysis via Random Testing and Large Language Models.

Facundo Molina, Juan Manuel Copia, Alessandra Gorla

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

2023

Specification Inference for Evolving Systems.

Renzo Degiovanni, Facundo Molina, Agustín Nolasco, Nazareno Aguirre, Mike Papadakis

CoRR, 2023

Assertion Inferring Mutants.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon

CoRR, 2023

SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing.

Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

EvoSpex: A Search-Based Tool for Postcondition Inference.

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Enabling Efficient Assertion Inference.

Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Precise Lazy Initialization for Programs with Complex Heap Inputs.

Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

Efficient Bounded Exhaustive Input Generation from Program APIs.

Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Learning to Prune Infeasible Paths in Generalized Symbolic Execution.

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Fuzzing Class Specifications.

Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact).

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

EvoSpex: An Evolutionary Algorithm for Learning Postconditions.

Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Applying Learning Techniques to Oracle Synthesis.

Facundo Molina

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

An evolutionary approach to translating operational specifications into declarative specifications.

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Sci. Comput. Program., 2019

Training binary classifiers as data structure invariants.

Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

A genetic algorithm for goal-conflict identification.

Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

From operational to declarative specifications using a genetic algorithm.

Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018

2016

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications.

Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016