TY  - RPRT
TI  - ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps
AU  - Edmund S. L. Lam
AU  - Peilun Zhang
AU  - Bor-Yuh Evan Chang
PY  - 2017
DO  - 10.1145/3133850.3133853
UR  - https://arxiv.org/abs/1708.08613
ID  - 1708.08613
ER  -