Software Testing Meets Bayesian Workflow: A Literature-Driven Artifact Study of Probabilistic Programs

Oleg Jarma, Maja Dall, Raúl Pardo +2

Automated testing is an effective software quality assurance method, but it is rarely used for probabilistic models. This is despite the heavy use of probabilistic programming for…