Bohuslav Křena

Produkty

• 2011

  Nástroj propojující dynamickou analýzu a bounded model checking, software, 2011
  Autoři: DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.

• 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

  MUSE - model checking s využitím symbolického provádění, software, 2008
  Autoři: KŘENA, B.; BRAIONE, P.; DENARO, G.; PEZZE, M.

  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.