All Stories

  1. Finding typing compiler bugs

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

    Diomidis Spinellis, Thodoris Sotiropoulos

  2. Data-Oriented Differential Testing of Object-Relational Mapping Systems

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Thodoris Sotiropoulos, Diomidis Spinellis

  3. Replication Package for Article: Data-Oriented Differential Testing of Object-Relational Mapping Systems

    Article • May 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Thodoris Sotiropoulos, Diomidis Spinellis

  4. A model for detecting faults in build specifications

    Article • Proceedings of the ACM on Programming Languages, November 2020, ACM (Association for Computing Machinery)

    Diomidis Spinellis, Thodoris Sotiropoulos

  5. Practical fault detection in puppet programs

    Article • June 2020, ACM (Association for Computing Machinery)

    Diomidis Spinellis, Thodoris Sotiropoulos