Randomized Testing of Byzantine Fault Tolerant Algorithms. - Levin N. Winter; Florena Buse; Daan de Graaf; Klaus von Gleissenthall; Burcu Kulahcioglu Ozkan (Proc. ACM Program. Lang., 2023)