Storm: program reduction for testing and debugging probabilistic programming systems

Saikat Dutta, Wenxian Zhang, Zixin Huang, Sasa Misailovic

Abstract

Probabilistic programming languages offer an intuitive way to model uncertainty by representing complex probability models as simple probabilistic programs. Probabilistic programming systems (PP systems) hide the complexity of inference algorithms away from the program developer. Unfortunately, if a failure occurs during the run of a PP system, a developer typically has very little support in finding the part of the probabilistic program that causes the failure in the system.

BibTeX

@inproceedings{Dutta-al:FSE19,
  author    = {Saikat Dutta and
               Wenxian Zhang and
               Zixin Huang and
               Sasa Misailovic},
  title     = {Storm: program reduction for testing and debugging probabilistic programming systems},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {729--739},
  publisher = {{ACM}},
  year      = {2019},
}

Storm: program reduction for testing and debugging probabilistic programming systems

Abstract

Related papers