| 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 | 37 | 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 | 21 | 2015 |
| Testing of concurrent programs using genetic algorithms V Hrubá, B Křena, Z Letko, S Ur, T Vojnar International Symposium on Search Based Software Engineering, 152-167, 2012 | 17 | 2012 |
| 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 International Workshop on Runtime Verification, 101-114, 2009 | 17 | 2009 |
| 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 |
| Multi-objective genetic optimization for noise-based testing of concurrent software V Hrubá, B Křena, Z Letko, H Pluháčková, T Vojnar International Symposium on Search Based Software Engineering, 107-122, 2014 | 14 | 2014 |
| Influence of noise injection heuristics on concurrency coverage Z Letko, T Vojnar, B Krena Proc. of MEMICS 11, 123-131, 2012 | 13* | 2012 |
| 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 | 9 | 2017 |
| 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 |
| Analysis and testing of concurrent programs Z Letko Information Sciences and Technologies Bulletin of the ACM Slovakia, ročník 5 …, 2012 | 8 | 2012 |
| Dynamic validation of contracts in concurrent code J Fiedor, Z Letko, J Lourenço, T Vojnar International Conference on Computer Aided Systems Theory, 555-564, 2015 | 7 | 2015 |
| Sophisticated testing of concurrent programs Z Letko 2nd International Symposium on Search Based Software Engineering, 36-39, 2010 | 7 | 2010 |
| On Monitoring C/C++ Transactional Memory Programs J Fiedor, Z Letko, J Lourenço, T Vojnar International Doctoral Workshop on Mathematical and Engineering Methods in …, 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 |
| Information Sciences and Technologies Bulletin of the ACM Slovakia T Kramár, BM Nguyen, J Breier, Z Letko, J Pribyl, M Hrubý | | 2014 |
| Information Sciences and Technologies Bulletin of the ACM Slovakia Z Letko, M Seeman, D Lodrová, J Šimko, M Kopf | | 2013 |
| Analysis and Sophisticated Testing of Concurrent Programs (Ph. D. thesis report) Z Letko | | 2010 |
