ProbTest: Unit Testing for Probabilistic Programs. - Katrine Christensen; Mahsa Varshosaz; Raúl Pardo (SEFM, 2025)

ProbTest: Unit Testing for Probabilistic Programs (Extended Version). - Katrine Christensen; Mahsa Varshosaz; Raúl Pardo (CoRR, 2025)