Zdenek Letko

14 papers B 4Journal 2Unranked 7
YearRankTypeTitle / Venue / Authors
2017 J jnl
Boosted decision trees for behaviour mining of concurrent programmes.
Concurr. Comput. Pract. Exp.
Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich
2015 J jnl
Advances in noise-based testing of concurrent software.
Softw. Test. Verification Reliab.
Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
2015 — conf
Dynamic Validation of Contracts in Concurrent Code.
EUROCAST
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
2014 B conf
Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software.
SSBSE
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar
2014 — conf
On Monitoring C/C++ Transactional Memory Programs.
MEMICS
Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar
2012 — —
Analýza a testování vícevláknových programů ; Analysis and Testing of Concurrent Programs.
Zdenek Letko
2012 B conf
Testing of Concurrent Programs Using Genetic Algorithms.
SSBSE
Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar
2011 — conf
A Uniform Classification of Common Concurrency Errors.
EUROCAST (1)
Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2011 B conf
Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.
RV
Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2011 — conf
Noise Injection Heuristics for Concurrency Testing.
MEMICS
Bohuslav Krena, Zdenek Letko, Tomás Vojnar
2010 — conf
A platform for search-based testing of concurrent software.
PDATAD
Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur
2009 B conf
A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.
RV
Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar
2008 — conf
AtomRace: data race and atomicity violation detector and healer.
PADTAD
Zdenek Letko, Tomás Vojnar, Bohuslav Krena
2007 — conf
Healing data races on-the-fly.
PADTAD
Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar