Bug Characteristics in Probabilistic Programming Systems: A Comprehensive Study. - Le Manh Duc; Haibo Yu 001; Jianjun Zhao 001 (QRS Companion, 2021)