@misc{indiciaeaf0d9d64bba1,
  title = {A Domain Specific Language for Testing Consensus Implementations},
  author = {Cezara Dragoi and Constantin Enea and Srinidhi Nagendra and Mandayam Srivas},
  year = {2023},
  url = {https://arxiv.org/abs/2303.05893},
  note = {Source identifier: 2303.05893}
}