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
812007
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
482008
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
332011
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
182009
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
162012
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
152015
Noise injection heuristics for concurrency testing
B Křena, Z Letko, T Vojnar
International Doctoral Workshop on Mathematical and Engineering Methods in …, 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
132014
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
122011
Analysis and Testing of Concurrent Programs.
Z Letko
Information Sciences & Technologies: Bulletin of the ACM Slovakia 5 (3), 2013
92013
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
82017
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
82015
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
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2014
12014
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
Analysis and Sophisticated Testing of Concurrent Programs (Ph. D. thesis report)
Z Letko
2010
The system can't perform the operation now. Try again later.
Articles 1–20