A Domain Specific Language for Testing Consensus Implementations. - Cezara Dragoi; Constantin Enea; Srinidhi Nagendra; Mandayam Srivas (CoRR, 2023)

A Domain Specific Language for Testing Distributed Protocol Implementations. - Cezara Dragoi; Srinidhi Nagendra; Mandayam Srivas (NETYS, 2024)