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 (SBMF, 2016)

From operational to declarative specifications using a genetic algorithm. - Facundo Molina; Renzo Degiovanni; Germán Regis; Pablo F. Castro; Nazareno Aguirre; Marcelo F. Frias (SBST@ICSE, 2018)

A genetic algorithm for goal-conflict identification. - Renzo Degiovanni; Facundo Molina; Germán Regis; Nazareno Aguirre (ASE, 2018)

Training binary classifiers as data structure invariants. - Facundo Molina; Renzo Degiovanni; Pablo Ponzio; Germán Regis; Nazareno Aguirre; Marcelo F. Frias (ICSE, 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)

Applying Learning Techniques to Oracle Synthesis. - Facundo Molina (ASE, 2020)

EvoSpex: An Evolutionary Algorithm for Learning Postconditions. - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ICSE, 2021)

EvoSpex: An Evolutionary Algorithm for Learning Postconditions (artifact). - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ICSE (Companion Volume), 2021)

Fuzzing Class Specifications. - Facundo Molina; Marcelo d'Amorim; Nazareno Aguirre (ICSE, 2022)

Learning to Prune Infeasible Paths in Generalized Symbolic Execution. - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ISSRE, 2022)

Efficient Bounded Exhaustive Input Generation from Program APIs. - Mariano Politano; Valeria S. Bengolea; Facundo Molina; Nazareno Aguirre; Marcelo F. Frias; Pablo Ponzio (FASE, 2023)

Precise Lazy Initialization for Programs with Complex Heap Inputs. - Juan Manuel Copia; Facundo Molina; Nazareno Aguirre; Marcelo F. Frias; Alessandra Gorla; Pablo Ponzio (ISSRE, 2023)

Enabling Efficient Assertion Inference. - Aayush Garg; Renzo Degiovanni; Facundo Molina; Maxime Cordy; Nazareno Aguirre; Mike Papadakis; Yves Le Traon (ISSRE, 2023)

EvoSpex: A Search-Based Tool for Postcondition Inference. - Facundo Molina; Pablo Ponzio; Nazareno Aguirre; Marcelo F. Frias (ISSTA, 2023)

SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing. - Facundo Molina; Marcelo d'Amorim; Nazareno Aguirre (ASE, 2023)

Assertion Inferring Mutants. - Aayush Garg; Renzo Degiovanni; Facundo Molina; Mike Papadakis; Nazareno Aguirre; Maxime Cordy; Yves Le Traon (CoRR, 2023)

Specification Inference for Evolving Systems. - Renzo Degiovanni; Facundo Molina; Agustín Nolasco; Nazareno Aguirre; Mike Papadakis (CoRR, 2023)

Improving Patch Correctness Analysis via Random Testing and Large Language Models. - Facundo Molina; Juan Manuel Copia; Alessandra Gorla (ICST, 2024)

FixCheck: A Tool for Improving Patch Correctness Analysis. - Facundo Molina; Juan Manuel Copia; Alessandra Gorla (ISSTA, 2024)

Test Oracle Automation in the era of LLMs. - Facundo Molina; Alessandra Gorla (CoRR, 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)

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 (Replication Package). - Agustín Nolasco; Facundo Molina; Renzo Degiovanni; Alessandra Gorla; Diego Garbervetsky; Mike Papadakis; Sebastián Uchitel; Nazareno Aguirre; Marcelo F. Frias (Zenodo, 2024)

Test Oracle Automation in the Era of LLMs. - Facundo Molina; Alessandra Gorla; Marcelo d'Amorim (ACM Trans. Softw. Eng. Methodol., 2025)