facumolina
Postdoctoral Researcher | Software Testing and Analysis
IMDEA Software InstituteMadrid, Spain
Pinned Repositories
c-tdscompiler
Compiler of a subset of the C programming language
demo-neural-nets
Introduction to Neural Networks with scikit-learn
ds-classification
A Neural Network approach to Data Structure Object Classification
evospex
EvoSpex: A Search-based Tool for Postcondition Inference
evospex-ae
Artifact of EvoSpex for Artifact Evaluation at ICSE 2021
fixcheck
FixCheck: A Tool for Improving Patch Correctness Analysis
ga-optodeclspecs
A Genetic Algorithm to translate Operational to Declarative Specifications
specfuzzer
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing
textmining-clustering
Vector representation of words and clustering using the K-Means algorithm
textmining-featureselection
Feature selection to improve NLP tasks
facumolina's Repositories
facumolina/evospex
EvoSpex: A Search-based Tool for Postcondition Inference
facumolina/evospex-ae
Artifact of EvoSpex for Artifact Evaluation at ICSE 2021
facumolina/c-tdscompiler
Compiler of a subset of the C programming language
facumolina/demo-neural-nets
Introduction to Neural Networks with scikit-learn
facumolina/fixcheck
FixCheck: A Tool for Improving Patch Correctness Analysis
facumolina/ga-optodeclspecs
A Genetic Algorithm to translate Operational to Declarative Specifications
facumolina/specfuzzer
SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing
facumolina/textmining-clustering
Vector representation of words and clustering using the K-Means algorithm
facumolina/carsapp
cars
facumolina/ds-classification
A Neural Network approach to Data Structure Object Classification
facumolina/textmining-featureselection
Feature selection to improve NLP tasks
facumolina/facumolina.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
facumolina/ground-truth-subjects
This repository contains a benchmark of Java routines equipped with ground truth assertions.
facumolina/mfis
MFIS - Formal Methods & Software Engineering
facumolina/threes-game-testing
Testing Techniques for Bug Detection