TY  - RPRT
TI  - Model-Based Testing of Networked Applications
AU  - Yishuai Li
AU  - Benjamin C. Pierce
AU  - Steve Zdancewic
PY  - 2021
DO  - 10.1145/3460319.3464798
UR  - https://arxiv.org/abs/2102.00378
ID  - 2102.00378
ER  -