@inproceedings{ICSE22-NIER-statistical,
  author    = {B\"{o}hme, Marcel},
  title     = {Statistical Reasoning About Programs},
  booktitle = {Proceedings of the 44th International Conference on Software Engineering},
  series    = {ICSE (NIER) 2022},
  year      = {2022},
  location  = {Pittsburgh, USA},
  numpages  = {5},
  doi       = {10.1145/3510455.3512796},
}