@inproceedings{Chen_OKKH_17,
    address          = {Shanghai, China},
    author           = {Chen, Zilin and O'Connor, Liam and Keller, Gabriele and Klein, Gerwin and Heiser, Gernot},
    booktitle        = {Workshop on Programming Languages and Operating Systems (PLOS)},
    date             = {2017-10-28},
    doi              = {https://doi.org/10.1145/3144555.3144556},
    isbn             = {9781450351539},
    month            = oct,
    pages            = {1-7},
    paperurl         = {https://trustworthy.systems/publications/full_text/Chen_OKKH_17.pdf},
    publisher        = {ACM},
    title            = {The {Cogent} Case for Property-Based Testing},
    year             = {2017}
  }