Ing.

Zdeněk Letko

Ph.D.

člen pracovní skupiny

49302/osobní číslo VUT

Produkty

2010

Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software
Autoři: Dudka Vendula, Fiedor Jan, Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2008

Nástroj pro detekci a opravu chyb v atomicitě programů, software
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
2007

Nástroj pro detekci a opravu časově závislých chyb v Javě, software
Autoři: Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav