Zdeněk Letko

Produkty

• 2010

  Nástroj pro přehrávání běhu programu (Replay Tracer & BMC), software, 2010
  Autoři: DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

  Testovací prostředí využívající techniky prohledávání prostoru (SearchBestie), software, 2010
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

• 2008

  Nástroj pro detekci a opravu chyb v atomicitě programů, software, 2008
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

• 2007

  Nástroj pro detekci a opravu časově závislých chyb v Javě, software, 2007
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.