Raúl Pardo will present his SEFM 2025 paper on testing probabilistic programs, a joint work with Katrine Christensen and Mahsa Varshosaz. SPEAKER: Raúl Pardo, assoc. prof. at ITU. TITLE: ProbTest: Unit Testing[…]