Skip to content
View facumolina's full-sized avatar
🎯
Focusing
🎯
Focusing
14 followers · 3 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Highlights

  • Pro

Block or report facumolina

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
facumolina/README.md

Hi there 👋

I'm an Assistant Professor at the Complutense University of Madrid in Madrid, Spain. Previously I was a Postdoctoral Researcher at the IMDEA Software Institute in Madrid.

  • 🔭 Interested in Automated Software Testing and Analysis and the use of Artificial Intelligence for Software Engineering (AI4SE).
  • 🛠️ Some tools I developed and maintain are:
    • SpecFuzzer and EvoSpex for automatically generating test oracles (in the form of postconditions) for Java.
    • FixCheck for patch correctness assessment for Java patches.
  • 💬 Website: facumolina.github.io
  • 📋 Publications list: google scholar page

📈 Some GitHub statistics:

Pinned Loading

  1. specfuzzer specfuzzer Public

    SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-based Fuzzing

    Java 3

  2. evospex evospex Public

    EvoSpex: A Search-based Tool for Postcondition Inference

    Java 5

  3. fixcheck fixcheck Public

    FixCheck: A Tool for Improving Patch Correctness Analysis

    Java 4 1

  4. ds-classification ds-classification Public

    A Neural Network approach to Data Structure Object Classification

    Python

  5. textmining-featureselection textmining-featureselection Public

    Feature selection to improve NLP tasks

    Python

  6. textmining-clustering textmining-clustering Public

    Vector representation of words and clustering using the K-Means algorithm

    Python 1