The following paper describes the methodology underlying ProbFuzz:
Testing Probabilistic Programming
Systems
Saikat Dutta, Owolabi Legunsen, Zixin Huang,
Sasa
Misailovic
26th ACM Joint European Software Engineering
Conference and Symposium on the Foundations
of
Software Engineering
(
Testing Probabilistic Programming
Systems
Saikat Dutta, Owolabi Legunsen, Zixin Huang,
Sasa
Misailovic
26th ACM Joint European Software Engineering
Conference and Symposium on the Foundations
of
Software Engineering
(
Saikat
Dutta
PhD Student
Department of Computer
Science
University of Illinois, Urbana-Champaign
saikatd2@illinois.edu
Owolabi
Legunsen
PhD Student
Department of Computer
Science
University of Illinois,
Urbana-Champaign
legunse2@illinois.edu
Zixin Huang
PhD Student
Department of Computer
Science
University of Illinois,
Urbana-Champaign
zixinh2@illinois.edu
Sasa
Misailovic
Assistant Professor
Department of
Computer
Science
University of Illinois,
Urbana-Champaign
misailo@illinois.edu