Storm: program reduction for testing and debugging probabilistic programming systems

Saikat Dutta 0001, Wenxian Zhang, Zixin Huang, Sasa Misailovic. Storm: program reduction for testing and debugging probabilistic programming systems. In Marlon Dumas, Dietmar Pfahl, Sven Apel, Alessandra Russo, editors, Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019. pages 729-739, ACM, 2019. [doi]

Abstract

Abstract is missing.