Follow
Zdenek Letko
Zdenek Letko
Verified email at fit.vutbr.cz - Homepage
Title
Cited by
Cited by
Year
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
872007
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
542008
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
432010
Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software
B Krena, Z Letko, T Vojnar
Proc. of RV 11, 2011
382011
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
182009
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
172015
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
162012
Noise injection heuristics for concurrency testing
B Křena, Z Letko, T Vojnar
Mathematical and Engineering Methods in Computer Science: 7th International …, 2012
14*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
142011
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
122014
Analysis and testing of concurrent programs
Z Letko
Information Sciences and Technologies 6 (1), 28, 2014
92014
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
72017
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
72015
Advances in noise-based testing
J Fiedor, V Hrubá, B Krena, Z Letko, S Ur, T Vojnar
STVR 24 (7), 1-38, 2014
72014
Sophisticated testing of concurrent programs
Z Letko
2nd International Symposium on Search Based Software Engineering, 36-39, 2010
42010
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
12014
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
Information Sciences and Technologies Bulletin of the ACM Slovakia
Z Letko, M Seeman, D Lodrová, J Šimko, M Kopf
2013
Analysis and Testing of Concurrent Programs: Monograph
B Křena, Z Letko, T Vojnar
Faculty of Information Technology, Brno University of Technology, 2012
2012
The system can't perform the operation now. Try again later.
Articles 1–20