Raúl Pardo will present his SEFM 2025 paper on testing probabilistic programs, a joint work with Katrine Christensen and Mahsa Varshosaz. TITLE: ProbTest: Unit Testing for Probabilistic Programs ABSTRACT: Testing probabilistic programs is[…]