Publications

A list of my publications including links to pdfs, code and talks.

Learning to prune infeasible paths in generalized symbolic execution by Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias. To appear in 33rd IEEE International Symposium on Software Reliability Engineering, ISSRE 2022, Charlotte, NC, USA, October 31-November 3, 2022, 2022. [ .pdf ]

Fuzzing class specifications by Facundo Molina, Marcelo d'Amorim, and Nazareno Aguirre. In 44th IEEE/ACM 44th International Conference on Software Engineering, ICSE 2022, Pittsburgh, PA, USA, May 25-27, 2022, pages 1008–1020. ACM, 2022. [ code | media | https | .pdf ]

Evospex: An evolutionary algorithm for learning postconditions by Facundo Molina, Pablo Ponzio, Nazareno Aguirre, and Marcelo F. Frias. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, pages 1223–1235. IEEE, 2021. [ code | media | https | .pdf ]

Applying learning techniques to oracle synthesis by Facundo Molina. In 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020, pages 1153–1157. IEEE, 2020. [ media | https | .pdf ]

Training binary classifiers as data structure invariants by Facundo Molina, Renzo Degiovanni, Pablo Ponzio, Germán Regis, Nazareno Aguirre, and Marcelo F. Frias. In Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pages 759–770. IEEE / ACM, 2019. [ code | https | .pdf ]

An evolutionary approach to translating operational specifications into declarative specifications by Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias. Sci. Comput. Program., 181:47–63, 2019. [ code | https | .pdf ]

A genetic algorithm for goal-conflict identification by Renzo Degiovanni, Facundo Molina, Germán Regis, and Nazareno Aguirre. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018, pages 520–531. ACM, 2018. [ code | https | .pdf ]

From operational to declarative specifications using a genetic algorithm by Facundo Molina, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias. In Proceedings of the 11th International Workshop on Search-Based Software Testing, ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, pages 39–42. ACM, 2018. [ https | .pdf ]

An evolutionary approach to translate operational specifications into declarative specifications by Facundo Molina, César Cornejo, Renzo Degiovanni, Germán Regis, Pablo F. Castro, Nazareno Aguirre, and Marcelo F. Frias. In Formal Methods: Foundations and Applications - 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, volume 10090 of Lecture Notes in Computer Science, pages 145–160, 2016. [ https | .pdf ]


This webpage was generated by bibtex2html 1.99.