Applied results

• 2022

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: Unite: An Adapter for Transforming Analysis Tools to Web Services via OSLC, Version 3.0. URL: https://pajda.fit.vutbr.cz/verifit/unite/-/tags/v3.0.0. (Software)
  Detail

• 2020

  FIEDOR, J.; VAŠÍČEK, O.; MUŽIKOVSKÁ, M.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, Version 0.4. URL: https://www.fit.vutbr.cz/research/groups/verifit/tools/anaconda/download/anaconda-0.4a-src.zip. (Software)
  Detail

  VAŠÍČEK, O.; FIEDOR, J.; SMRČKA, A.; VOJNAR, T.; KŘENA, B.: OSLC ANaConDA Adapter, Version 1.0. URL: http://www.stud.fit.vutbr.cz/~xvasic25/anaconda-oslc-adapter-release.zip. (Software)
  Detail

• 2011

  DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (Software)
  Detail

• 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

  KŘENA, B.; BRAIONE, P.; DENARO, G.; PEZZE, M.: Model checking Using Symbolic Execution. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/. (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

*) Citations are generated once every 24 hours.