Facundo Molina

Facundo Molina

Postdoctoral Researcher - Software Testing and Analysis

Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Page Not Found at

Page not found. Your pixels are in another canvas.

at
Archive Layout with Content at
Posts by Category at
Posts by Collection at
Generating Specifications with Evolutionary Computation at
at
Markdown at
Data Structure Object Classification with Neural Networks at
Page not in menu at

This is a page not in th emain menu

Page Archive at
Publications at
Sitemap at
Posts by Tags at
Talk map at
Teaching at
Terms and Privacy Policy at
Blog posts at
at
at
at
at
at
at
at
Jupyter notebook markdown generator at
at
at

Posts

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