Healing data races on-the-fly. - Bohuslav Krena; Zdenek Letko; Rachel Tzoref; Shmuel Ur; Tomás Vojnar (PADTAD, 2007)

AtomRace: data race and atomicity violation detector and healer. - Zdenek Letko; Tomás Vojnar; Bohuslav Krena (PADTAD, 2008)

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. - Bohuslav Krena; Zdenek Letko; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Shmuel Ur; Tomás Vojnar (RV, 2009)

A platform for search-based testing of concurrent software. - Bohuslav Krena; Zdenek Letko; Tomás Vojnar; Shmuel Ur (PDATAD, 2010)

A Uniform Classification of Common Concurrency Errors. - Jan Fiedor; Bohuslav Krena; Zdenek Letko; Tomás Vojnar (EUROCAST (1), 2011)

Noise Injection Heuristics for Concurrency Testing. - Bohuslav Krena; Zdenek Letko; Tomás Vojnar (MEMICS, 2011)

Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. - Bohuslav Krena; Zdenek Letko; Tomás Vojnar (RV, 2011)

Testing of Concurrent Programs Using Genetic Algorithms. - Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Shmuel Ur; Tomás Vojnar (SSBSE, 2012)

Analýza a testování vícevláknových programů ; Analysis and Testing of Concurrent Programs. - Zdenek Letko (2012)

On Monitoring C/C++ Transactional Memory Programs. - Jan Fiedor; Zdenek Letko; João Lourenço; Tomás Vojnar (MEMICS, 2014)

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)

Dynamic Validation of Contracts in Concurrent Code. - Jan Fiedor; Zdenek Letko; João Lourenço; Tomás Vojnar (EUROCAST, 2015)

Advances in noise-based testing of concurrent software. - Jan Fiedor; Vendula Hrubá; Bohuslav Krena; Zdenek Letko; Shmuel Ur; Tomás Vojnar (Softw. Test. Verification Reliab., 2015)

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)