Facundo Molina

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

[IMDEA Software @IMDEA_Software]

🔵 El investigador de IMDEA Software, Facundo Molina, ha publicado un artículo en @Conversation_E sobre la abrumadora demanda de poder computacional que exige la IA.

🌐 https://t.co/yjxCQYc1wG

@IMDEAInstitutes @educacmadrid @molinaf17 #imdea #imdeasoftware

[Facundo Molina @molinaf17]

The pre-print of our ICST paper is out 👇
📄 https://t.co/GeF4qh6H8R
💻 https://t.co/zNuplOCYb0

[Facundo Molina @molinaf17]

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 :)

[Facundo Molina @molinaf17]

Happy to share that our work on automated inference of metamorphic relations has been accepted at @FSEconf! This is a collaboration between researchers from @mfisdc, @IMDEA_Software, @SnT_uni_lu and @ComputacionUBA

[Métodos Formales e Ingeniería de Software @mfisdc]

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!

[Facundo Molina @molinaf17]

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 :)

[IMDEA Software @IMDEA_Software]

Comienza “Las cinco misiones de la UE vistas por investigadores de IMDEA II” con motivo de la #NocheEuropeaInvestigadores de Madrid.

@manuel__carro modera el evento junto a @torralba59.

Participan investigadores de los @IMDEAInstitutes y @molinaf17 representa a #IMDEASoftware

[Facundo Molina @molinaf17]

Muy feliz de participar de este evento 😀!

[IMDEA Institutes @IMDEAInstitutes]

💻 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: https://t.co/HxEdvbSU6t.

[IMDEA Software @IMDEA_Software]

🔵 #HIRING | Applications are invited to apply for an internship at #IMDEASoftware to work with @AlessandraGorla and @molinaf17. The candidate will explore novel techniques to automatically generate mocks for unit tests in Java software.

🌐 https://t.co/OTyTw9pRm5

#imdea

[Facundo Molina @molinaf17]

Next thursday at @FaseConf 👇🏻

[Mariano Politano @marianopolitano]

Excited to announce that our paper "Efficient Bounded Exhaustive Input Generation from Program APIs"(https://t.co/e3fO4Xplxi) will be presented at the @FaseConf conference, part of the @ETAPSconf conferences, this week in Paris @Sorbonne_Univ_ !

#ETAPS #research

[Facundo Molina @molinaf17]

Working on mutation analysis? Consider to submit to this great workshop👇🏻

[Mutation Analysis @MutationWS]

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 https://t.co/yzTDOTsGxw

[Facundo Molina @molinaf17]

Very happy to share that I will join @IMDEA_Software as a Post-doctoral Researcher from November 2022. Good times ahead :)

[Facundo Molina @molinaf17]

Our paper has been accepted at @ISSREConf! The pre-print will be available soon.

[Métodos Formales e Ingeniería de Software @mfisdc]

📢 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!

[Facundo Molina @molinaf17]

This week I presented our paper “Fuzzing Class Specifications” at @ICSEconf in Pittsburgh! It was so great to participate in an in-person conference again! Very grateful to be part of this great community #ICSE2022

[Facundo Molina @molinaf17]

Just had the great opportunity to present our paper "Fuzzing Class Specifications" at (virtual) #ICSE2022! If you are interested, checkout our longer video presentation and feel free to reach me 🙌 @ICSEconf

https://t.co/oHc7rArMQG

[Facundo Molina @molinaf17]

Great news for our group!

[Métodos Formales e Ingeniería de Software @mfisdc]

📢 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

[Facundo Molina @molinaf17]

Muy orgulloso de compartir que aprobé la defensa de mi tesis y completé mi PhD! Profundamente agradecido de quienes formaron parte de este camino

Very proud to share that I passed my thesis defense, completing my PhD! I'm deeply grateful to those who were part of this path

😀💛

[Arnold Schwarzenegger @Schwarzenegger]

I love the Russian people. That is why I have to tell you the truth. Please watch and share.

[Facundo Molina @molinaf17]

@BettiMilanesio If you’re happy I’m happy

[Facundo Molina @molinaf17]

The preprint of our #icse2022 paper "Fuzzing Class Specifications" is now available: https://t.co/skrYkmVyyQ

[Facundo Molina @molinaf17]

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 :)

[Facundo Molina @molinaf17]

@BettiMilanesio

[Facundo Molina @molinaf17]

@BettiMilanesio You get what you give, dice una frase 😛 Loviuu