Facundo Molina

Facundo Molina

Postdoctoral Researcher - Software Testing and Analysis

Posts by Collection

portfolio

publications

Paper Title Number 1 at Journal 1

Published in Journal 1, 2009

This paper is about the number 1. The number 2 is left for future work.

Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://academicpages.github.io/files/paper1.pdf

Paper Title Number 2 at Journal 1

Published in Journal 1, 2010

This paper is about the number 2. The number 3 is left for future work.

Recommended citation: Your Name, You. (2010). "Paper Title Number 2." Journal 1. 1(2). http://academicpages.github.io/files/paper2.pdf

Paper Title Number 3 at Journal 1

Published in Journal 1, 2015

This paper is about the number 3. The number 4 is left for future work.

Recommended citation: Your Name, You. (2015). "Paper Title Number 3." Journal 1. 1(3). http://academicpages.github.io/files/paper3.pdf

talks

An Evolutionary Approach to Translate Operational Specifications into Declarative Specifications at Brazilian Symposium on Formal Methods SBMF 2016

Published:

Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]

From Operational to Declarative Specifications using a Genetic Algorithm at International Workshop on Search-Based Software Testing SBST@ICSE 2018

Published:

Introduction of a research paper on generating declarative specifications (in the alloy relational logic) using a genetic algorithm
[Slide]

A Genetic Algorithm for Goal-Conflict Identification at International Conference on Automated Software Engineering ASE 2018

Published:

Introduction of a research paper on Goal Conflicts identification in the Requirements Engineering process using a Genetic Algorithm
[Slide]

Training Binary Classifiers as Data Structure Invariants at International Conference on Software Engineering ICSE 2019

Published:

Presentation of a research paper on training machine learning models, specifically binary classifiers using neural networks, to be used as data structure invariants in program analysis scenarios
[Slide]

Applying Learning Techniques to Oracle Synthesis at Doctoral Symposium at the International Conference on Automated Software Engineering ASE 2020

Published:

Presentation of a short paper describing the work carried out during my PhD on the application of learning techniques (Neural Networks and Genetic Algorithms) to oracle synthesis, targeting the well known oracle problem
[Slide] [Media]

EvoSpex: An Evolutionary Algorithm for Learning Postconditions at International Conference on Software Engineering ICSE 2021

Published:

Presentation of a research paper on the use of evolutionary computation to infer postconditions of Java methods, targeting the well known oracle problem
[Media]

teaching

Student Teaching Assistant (2014-2017) at Department of Computer Science, University of Río Cuarto.

Undergraduate courses I taught include:

  • Data Structure and Algorithms
  • Algorithms Design Techniques
  • Programming Paradigms
  • System Design and Analysis

Teaching Assistant (2018-2022) at Department of Computer Science, University of Río Cuarto.

Undergraduate courses I taught include:

  • Introduction to Programming
  • Computability and Complexity
  • Distributed and Outsourced Software Engineering