All Stories

  1. FixCheck: A Tool for Improving Patch Correctness Analysis

    Article • September 2024, ACM (Association for Computing Machinery)

    Facundo Molina

  2. SpecFuzzer: A Tool for Inferring Class Specifications via Grammar-Based Fuzzing

    Article • September 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Facundo Molina, Nazareno Aguirre

  3. EvoSpex: A Search-Based Tool for Postcondition Inference

    Article • July 2023, ACM (Association for Computing Machinery)

    Nazareno Aguirre, Facundo Molina