@inproceedings{Chubb_05b,
    address          = {Brazil},
    author           = {Peter Chubb},
    booktitle        = {Gelato ICE},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/papers/Chubb_05b.pdf},
    title            = {Bugs: Getting them Stomped!},
    year             = {2005}
  }