@inproceedings{Chen_ROSKHK_22,
    address          = {Auckland, New Zealand},
    artefact         = {https://zenodo.org/record/7248640},
    author           = {Zilin Chen and Christine Rizkallah and Liam O'Connor and Partha Susarla and Gerwin Klein and Gernot
                        Heiser and Gabriele Keller},
    booktitle        = {ACM SIGPLAN International Conference on Software Language Engineering},
    doi              = {10.1145/3567512.3567520},
    month            = dec,
    numpages         = {14},
    paperurl         = {https://trustworthy.systems/publications/papers/Chen_ROSKHK_22.pdf},
    publisher        = {Association for Computing Machinery},
    series           = {SLE 2022},
    title            = {Property-Based Testing: Climbing the Stairway to Verification},
    year             = {2022}
  }