Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. - Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Hana Pluhácková; Tomás Vojnar (SSBSE, 2014)

Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics. - Bohuslav Krena; Hana Pluhácková; Shmuel Ur; Tomás Vojnar (EUROCAST (2), 2017)

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)