All Stories

  1. Woring towards showing that contracts on a blockchain do not have mistakes in them.

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

    Steve Reeves

  2. Model-based Testing of Interactive Systems using Interaction Sequences

    Article • Proceedings of the ACM on Human-Computer Interaction, June 2020, ACM (Association for Computing Machinery)

    Judy Bowen, Steve Reeves