Facundo Molina

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 22

Top Topics

Prize Collecting

Written In Natural Language

Evolutionary Algorithm

Top Venues

Publications

Facundo Molina, Alessandra Gorla
Test Oracle Automation in the era of LLMs. CoRR (2024)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
BEAPI: A tool for bounded exhaustive input generation from APIs. Sci. Comput. Program. 238 (2024)
Agustín Nolasco, Facundo Molina, Renzo Degiovanni, Alessandra Gorla, Diego Garbervetsky, Mike Papadakis, Sebastián Uchitel, Nazareno Aguirre, Marcelo F. Frias
Abstraction-Aware Inference of Metamorphic Relations. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Renzo Degiovanni, Facundo Molina, Agustin Nolasco, Nazareno Aguirre, Mike Papadakis
Specification Inference for Evolving Systems. CoRR (2023)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. ASE (2023)
Mariano Politano, Valeria S. Bengolea, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Pablo Ponzio
Efficient Bounded Exhaustive Input Generation from Program APIs. FASE (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Maxime Cordy, Nazareno Aguirre, Mike Papadakis, Yves Le Traon
Enabling Efficient Assertion Inference. ISSRE (2023)
Aayush Garg, Renzo Degiovanni, Facundo Molina, Mike Papadakis, Nazareno Aguirre, Maxime Cordy, Yves Le Traon
Assertion Inferring Mutants. CoRR (2023)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: A Search-Based Tool for Postcondition Inference. ISSTA (2023)
Juan Manuel Copia, Facundo Molina, Nazareno Aguirre, Marcelo F. Frias, Alessandra Gorla, Pablo Ponzio
Precise Lazy Initialization for Programs with Complex Heap Inputs. ISSRE (2023)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Fuzzing Class Specifications. CoRR (2022)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
Learning to Prune Infeasible Paths in Generalized Symbolic Execution. ISSRE (2022)
Facundo Molina, Marcelo d'Amorim, Nazareno Aguirre
Fuzzing Class Specifications. ICSE (2022)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. CoRR (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). ICSE (Companion Volume) (2021)
Facundo Molina, Pablo Ponzio, Nazareno Aguirre, Marcelo F. Frias
EvoSpex: An Evolutionary Algorithm for Learning Postconditions. ICSE (2021)
Facundo Molina
Applying Learning Techniques to Oracle Synthesis. ASE (2020)
Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, Marcelo F. Frias
Training binary classifiers as data structure invariants. ICSE (2019)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An evolutionary approach to translating operational specifications into declarative specifications. Sci. Comput. Program. 181 (2019)
Renzo Degiovanni, Facundo Molina, Germán Regis, Nazareno Aguirre
A genetic algorithm for goal-conflict identification. ASE (2018)
Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
From operational to declarative specifications using a genetic algorithm. SBST@ICSE (2018)
Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, Marcelo F. Frias
An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications. SBMF (2016)