
Facundo Molina
38 posts

Facundo Molina
@molinaf17
Postdoc Researcher at @IMDEA_Software 🇪🇸- Working in software testing and analysis, to improve software quality. Previously, PhD student @CONICETDialoga 🇦🇷


Great news 🎉! Our paper "Improving Patch Correctness Analysis via Random Testing and Large Language Models" has been accepted at ICST 2024 @icstconference. This is a work carried out at @IMDEA_Software with @juanmcopia and @AlessandraGorla. The pre-print will be online soon :)


The paper “Abstraction-Aware Inference of Metamorphic Relations" (by A. Nolasco, F. Molina, R. Degiovanni, A. Gorla, D. Garbervetsky, M. Papadakis, S. Uchitel, N. Aguirre and M. Frias) has been accepted for publication at the ACM FSE 2024!






💻 Por un software mejor y más confiable. 👨🏻💻 @molinaf17, investigador de @IMDEA_Software, crea herramientas de análisis para mejorar el software que nos rodea. #IMDEA5MisionesUE #NocheEuropeaInvestigadores #MADRIDNIGHT @MSCActions ℹ️ +info: beacons.ai/imdeainstitutes.


Excited to announce that our paper "Efficient Bounded Exhaustive Input Generation from Program APIs"(link.springer.com/chapter/10.100…) will be presented at the @FaseConf conference, part of the @ETAPSconf conferences, this week in Paris @Sorbonne_Univ_ ! #ETAPS #research

Glad to announce that the 18th edition of the International Workshop on Mutation Analysis (Mutation 2023) will be co-located with @icstconference in Dublin, Ireland! More info in conf.researchr.org/home/icst-2023…


📢 Great news! The paper “Learning to Prune Infeasible Paths in Generalized Symbolic Execution” (by Facundo Molina, Pablo Ponzio, Nazareno Aguirre and Marcelo Frias) has been accepted for publication at the International Symposium on Software Reliability Engineering ISSRE 2022!



📢 We are delighted to share that the project proposal “Modular Bounded Verification with Expressive Contracts”, in which our research group is involved, was selected to be funded by an Amazon Research Award (ARA) @AmazonScience

Very happy to share that our paper "Fuzzing Class Specifications" has been accepted at ICSE 2022 @ICSEconf 🎉! In collaboration with Nazareno Aguirre and @marcelodamorim, we present a fuzzing-based technique for specification inference. The pre-print will be online soon :)





