Zdenek Letko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
2007–2014
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SSBSE | Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software. | Vendula Hrub, Bohuslav Krena, Zdenek Letko, Hana Pluhckov, Toms Vojnar |
| 2012 | SSBSE | Testing of Concurrent Programs Using Genetic Algorithms. | Vendula Hrub, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Toms Vojnar |
| 2011 | RV | Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar |
| 2010 | ISSTA | A platform for search-based testing of concurrent software. | Bohuslav Krena, Zdenek Letko, Toms Vojnar, Shmuel Ur |
| 2009 | RV | A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing. | Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Toms Vojnar |
| 2008 | ISSTA | AtomRace: data race and atomicity violation detector and healer. | Zdenek Letko, Toms Vojnar, Bohuslav Krena |
| 2007 | ISSTA | Healing data races on-the-fly. | Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Toms Vojnar |