Posts from October 21, 2025

Latest Comments
No comments to show.

28/10/2025 – Talk: “ProbTest: Unit Testing for Probabilistic Programs” by Raúl Pardo

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[…]