Self-healing Assurance Based on Bounded Model Checking. - Vendula Hrubá; Bohuslav Krena; Tomás Vojnar (EUROCAST, 2009)

DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. - Jan Fiedor; Vendula Hrubá; Bohuslav Krena; 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)

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)

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)