Aplikované výsledky

• 2010

  LETKO, Z.; VOJNAR, T.; KŘENA, B.: Search-based Testing Environment (SearchBestie). URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. (Software)
  Detail

  DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.: Replay Tracer & BMC. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. (Software)
  Detail

• 2008

  LETKO, Z.; VOJNAR, T.; KŘENA, B.: Java Atomicity Violation Detector & Healer. URL: https://www.fit.vut.cz/research/product/90/. (Software)
  Detail

• 2007

  LETKO, Z.; VOJNAR, T.; KŘENA, B.: Java Race Detector & Healer. URL: https://www.fit.vut.cz/research/product/49/. (Software)
  Detail

*) Citace se generují jednou za 24 hodin.