@misc{indiciaef1e2cd89bc11,
  title = {ChimpCheck: Property-Based Randomized Test Generation for Interactive Apps},
  author = {Edmund S. L. Lam and Peilun Zhang and Bor-Yuh Evan Chang},
  year = {2017},
  doi = {10.1145/3133850.3133853},
  url = {https://arxiv.org/abs/1708.08613},
  note = {Source identifier: 1708.08613}
}