All Stories

  1. Towards Quantum-algorithms-as-a-service

    Article • November 2022, ACM (Association for Computing Machinery)

    Davide Taibi, Dario Di Nucci

  2. OCELOT: a search-based test-data generation tool for C

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

    Harald Gall, Dario Di Nucci