@misc{indiciae5f7df3828f2c,
  title = {Model-Based Testing of Networked Applications},
  author = {Yishuai Li and Benjamin C. Pierce and Steve Zdancewic},
  year = {2021},
  doi = {10.1145/3460319.3464798},
  url = {https://arxiv.org/abs/2102.00378},
  note = {Source identifier: 2102.00378}
}