Zdeněk Letko

Aplikované výsledky

• 2010

  Replay Tracer & BMC, software, 2010
  Autoři: DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.

  Search-based Testing Environment (SearchBestie), software, 2010
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

• 2008

  Java Atomicity Violation Detector & Healer, software, 2008
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.

• 2007

  Java Race Detector & Healer, software, 2007
  Autoři: LETKO, Z.; VOJNAR, T.; KŘENA, B.