Zdenek Letko

According to our database, Zdenek Letko authored at least 14 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Boosted decision trees for behaviour mining of concurrent programmes.

Renata Avros, V. Dudka, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Shmuel Ur, Tomás Vojnar, Zeev Volkovich

Concurr. Comput. Pract. Exp., 2017

2015

Advances in noise-based testing of concurrent software.

Jan Fiedor, Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar

Softw. Test. Verification Reliab., 2015

Dynamic Validation of Contracts in Concurrent Code.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

2014

Multi-objective Genetic Optimization for Noise-Based Testing of Concurrent Software.

Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Hana Pluhácková, Tomás Vojnar

Proceedings of the Search-Based Software Engineering - 6th International Symposium, 2014

On Monitoring C/C++ Transactional Memory Programs.

Jan Fiedor, Zdenek Letko, João Lourenço, Tomás Vojnar

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2014

2012

Analýza a testování vícevláknových programů ; Analysis and Testing of Concurrent Programs.

Zdenek Letko

PhD thesis, 2012

Testing of Concurrent Programs Using Genetic Algorithms.

Vendula Hrubá, Bohuslav Krena, Zdenek Letko, Shmuel Ur, Tomás Vojnar

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

2011

Coverage Metrics for Saturation-Based and Search-Based Testing of Concurrent Software.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Runtime Verification - Second International Conference, 2011

Noise Injection Heuristics for Concurrency Testing.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2011

A Uniform Classification of Common Concurrency Errors.

Jan Fiedor, Bohuslav Krena, Zdenek Letko, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2011, 2011

2010

A platform for search-based testing of concurrent software.

Bohuslav Krena, Zdenek Letko, Tomás Vojnar, Shmuel Ur

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

2009

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, Tomás Vojnar

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2008

AtomRace: data race and atomicity violation detector and healer.

Zdenek Letko, Tomás Vojnar, Bohuslav Krena

Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, 2008

2007

Healing data races on-the-fly.

Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar

Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, 2007