ProbTest: Unit Testing for Probabilistic Programs (Extended Version)

Katrine Christensen, Mahsa Varshosaz, Raúl Pardo

Testing probabilistic programs is non-trivial due to their stochastic nature. Given an input, the program may produce different outcomes depending on the underlying stochastic choi…