Ing.

Zdeněk Letko

Ph.D.

Member of Workgroup

49302/BUT personal ID

Products

2010

Replay Tracer & BMC, software
Authors: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

Search-based Testing Environment (SearchBestie), software
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2008

Java Atomicity Violation Detector & Healer, software
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2007

Java Race Detector & Healer, software
Authors: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav