All Stories

  1. Search-based Inference of Class Invariants

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

    Nazareno Aguirre, Facundo Molina

  2. 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

  3. FixCheck: A Tool for Improving Patch Correctness Analysis

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

    Facundo Molina

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

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

    Facundo Molina, Nazareno Aguirre

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

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

    Nazareno Aguirre, Facundo Molina