TY  - RPRT
TI  - SnapCheck: Automated Testing for Snap Programs
AU  - Wengran Wang
AU  - Chenhao Zhang
AU  - Andreas Stahlbauer
AU  - Gordon Fraser
AU  - Thomas Price
PY  - 2021
DO  - 10.1145/3430665.3456367
UR  - https://arxiv.org/abs/2104.11812
ID  - 2104.11812
ER  -