@article{Bishop_FMNRSSW_19,
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Bishop_FMNRSSW_19.pdf},
    month            = jan,
    numpages         = {Article 1 (77 pages)},
    issue            = {1},
    publisher        = {ACM},
    volume           = {66},
    journal          = {Journal of the ACM},
    author           = {Bishop, Steve and Fairbairn, Matthew and Mehnert, Hannes and Norrish, Michael and Ridge, Tom and
                        Sewell, Peter and Smith, Michael and Wanbrough, Keith},
    title            = {Engineering with Logic: Rigorous Test-Oracle Specification and Validation for {TCP}/{IP} and the
                        Sockets {API}},
    doi              = {https://doi.org/10.1145/3243650},
    year             = {2019}
  }