All Stories

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

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

    Nazareno Aguirre, Facundo Molina