https://facumolina.github.io/publication/2009-10-01-paper-title-number-1 2009-10-01T00:00:00-07:00 https://facumolina.github.io/publication/2010-10-01-paper-title-number-2 2010-10-01T00:00:00-07:00 https://facumolina.github.io/publication/2015-10-01-paper-title-number-3 2015-10-01T00:00:00-07:00 https://facumolina.github.io/talks/2016-11-24-ga-alloy-spec/ 2016-11-24T00:00:00-08:00 https://facumolina.github.io/talks/2018-05-09-ga-catalogue/ 2018-05-09T00:00:00-07:00 https://facumolina.github.io/talks/2018-09-06-ga-goal-conflict/ 2018-09-06T00:00:00-07:00 https://facumolina.github.io/talks/2019-05-31-nn-invariants/ 2019-05-31T00:00:00-07:00 https://facumolina.github.io/talks/2020-09-21-ase2020ds/ 2020-09-21T00:00:00-07:00 https://facumolina.github.io/talks/2021-25-05-icse2021/ 2021-05-25T00:00:00-07:00 https://facumolina.github.io/teaching/2014-sta-1/ 2014-03-01T00:00:00-08:00 https://facumolina.github.io/teaching/2018-ta-1/ 2018-03-01T00:00:00-08:00 https://facumolina.github.io/ https://facumolina.github.io/archive-layout-with-content/ https://facumolina.github.io/categories/ https://facumolina.github.io/collection-archive/ https://facumolina.github.io/research/specs-evolutionarycomputation/ https://facumolina.github.io/markdown/ https://facumolina.github.io/research/invariants-neuralnetworks/ https://facumolina.github.io/non-menu-page/ https://facumolina.github.io/page-archive/ https://facumolina.github.io/publications/ https://facumolina.github.io/sitemap/ https://facumolina.github.io/tags/ https://facumolina.github.io/talkmap.html https://facumolina.github.io/teaching/ https://facumolina.github.io/terms/ https://facumolina.github.io/year-archive/ https://facumolina.github.io/markdown_generator/ https://facumolina.github.io/files/2016-11-23-ga-alloy-spec.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/2018-05-09-ga-catalogue.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/2019-05-31-nn-invariant.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/2020-09-21-ase2020ds.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/2022-05-29-specfuzzer.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/LearningGoalConflicts.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/MOLINA_ETAL_ICST2024.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/MOLINA_ETAL_TOSEM2025.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/Molina_ETAL_ISSRE2022.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/SE2030-oracle-auomation-llms-era.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/alloy-learning.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/ase2018-goal-conflict-learning.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/automated-test-oracle-generation-jcc2023.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/evospex-icse2021.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/express-gecco2025.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/facundomolina-cv-es.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/fixcheck-icst2024-slides.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/fmolina-fullcven.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/ga-spec-learning-catalogue.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/learning-invariants.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/oracle-synthesis.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/files/specfuzzer-tooldemo-ase2023.pdf 2026-03-15T04:25:33-07:00 https://facumolina.github.io/talkmap/map.html 2026-03-15T04:25:33-07:00