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