| Healing data races on-the-fly B Krena, Z Letko, R Tzoref, S Ur, T Vojnar proceedings of the 2007 ACM Workshop on Parallel and Distributed Systems …, 2007 | 92 | 2007 |
| AtomRace: data race and atomicity violation detector and healer Z Letko, T Vojnar, B Křena Proceedings of the 6th workshop on parallel and distributed systems: testing …, 2008 | 57 | 2008 |
| A platform for search-based testing of concurrent software B Křena, Z Letko, T Vojnar, S Ur Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing …, 2010 | 44 | 2010 |
| Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software B Krena, Z Letko, T Vojnar Proc. of RV 11, 2011 | 38 | 2011 |
| Advances in noise‐based testing of concurrent software J Fiedor, V Hrubá, B Křena, Z Letko, S Ur, T Vojnar Software Testing, Verification and Reliability 25 (3), 272-309, 2015 | 19 | 2015 |
| A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing B Křena, Z Letko, Y Nir-Buchbinder, R Tzoref-Brill, S Ur, T Vojnar Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France …, 2009 | 18 | 2009 |
| Testing of concurrent programs using genetic algorithms V Hrubá, B Křena, Z Letko, S Ur, T Vojnar Search Based Software Engineering: 4th International Symposium, SSBSE 2012 …, 2012 | 17 | 2012 |
| A uniform classification of common concurrency errors J Fiedor, B Křena, Z Letko, T Vojnar International Conference on Computer Aided Systems Theory, 519-526, 2011 | 15 | 2011 |
| Influence of noise injection heuristics on concurrency coverage Z Letko, T Vojnar, B Krena Proc. of MEMICS 11, 123-131, 2012 | 13* | 2012 |
| Multi-objective genetic optimization for noise-based testing of concurrent software V Hrubá, B Křena, Z Letko, H Pluháčková, T Vojnar Search-Based Software Engineering: 6th International Symposium, SSBSE 2014 …, 2014 | 12 | 2014 |
| Analysis and testing of concurrent programs Z Letko Information Sciences and Technologies Bulletin of the ACM Slovakia, ročník 5 …, 2012 | 9 | 2012 |
| Advances in noise-based testing J Fiedor, V Hrubá, B Krena, Z Letko, S Ur, T Vojnar STVR 24 (7), 1-38, 2014 | 8 | 2014 |
| Boosted decision trees for behaviour mining of concurrent programmes R Avros, V Dudka, B Křena, Z Letko, H Pluháčková, S Ur, T Vojnar, ... Concurrency and Computation: Practice and Experience 29 (21), e4268, 2017 | 7 | 2017 |
| Dynamic validation of contracts in concurrent code J Fiedor, Z Letko, J Lourenço, T Vojnar Computer Aided Systems Theory–EUROCAST 2015: 15th International Conference …, 2015 | 7 | 2015 |
| Sophisticated testing of concurrent programs Z Letko 2nd International Symposium on Search Based Software Engineering, 36-39, 2010 | 6 | 2010 |
| On Monitoring C/C++ Transactional Memory Programs J Fiedor, Z Letko, J Lourenço, T Vojnar Mathematical and Engineering Methods in Computer Science: 9th International …, 2014 | 1 | 2014 |
| Analysis and Testing of Concurrent Programs: Monograph B Křena, Z Letko, T Vojnar Faculty of Information Technology, Brno University of Technology, 2012 | 1 | 2012 |
| Studie frameworku Lombok PJ Paštrnák, Z Letko, K Ing, T Pavel Vysoké učení technické v Brně. Fakulta informačních technologií, 2019 | | 2019 |
| Statická detekce častých chyb JBoss aplikačního serveru PBP VYVIAL, Z LETKO Vysoké učení technické v Brně. Fakulta informačních technologií, 2019 | | 2019 |
| Information Sciences and Technologies Bulletin of the ACM Slovakia T Kramár, BM Nguyen, J Breier, Z Letko, J Pribyl, M Hrubý | | 2014 |
