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!
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 :)
🔵 #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
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
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
📢 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!
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
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
📢 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
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
😀💛
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 :)