Bohuslav Křena

Products

• 2022

  Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0, software, 2022
  Authors: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.

• 2020

  ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4, software, 2020
  Authors: FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.

  OSLC ANaConDA Adapter, Version 1.0, software, 2020
  Authors: VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.

• 2011

  DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, software, 2011
  Authors: DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.

• 2010

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

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

• 2008

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

  Model checking Using Symbolic Execution, software, 2008
  Authors: KŘENA, B.; BRAIONE, P.; DENARO, G.; PEZZE, M.

• 2007

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