Facundo Molina

29 papers A* 7A 6B 1Journal 11Unranked 4

Year	Rank	Type	Title / 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