All Stories

  1. TORI: A Tool for Oracle Quality Assessment

    Article • October 2026, ACM (Association for Computing Machinery)

    Nazareno Aguirre, Facundo Molina

  2. Search-based Inference of Class Invariants

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

    Nazareno Aguirre, Facundo Molina

  3. Test Oracle Automation in the Era of LLMs

    Article • ACM Transactions on Software Engineering and Methodology, January 2025, ACM (Association for Computing Machinery)

    Facundo Molina

  4. FixCheck: A Tool for Improving Patch Correctness Analysis

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

    Facundo Molina

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

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

    Facundo Molina, Nazareno Aguirre

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

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

    Nazareno Aguirre, Facundo Molina