Boosted decision trees for behaviour mining of concurrent programmes. - Renata Avros; V. Dudka; Bohuslav Krena; Zdenek Letko; Hana Pluhácková; Shmuel Ur; Tomás Vojnar; Zeev Volkovich (Concurr. Comput. Pract. Exp., 2017)