Ing.

Bohuslav Křena

Ph.D.

FIT, UITS – odborný asistent

+420 54114 1233
krena@fit.vutbr.cz

Odeslat VUT zprávu

Ing. Bohuslav Křena, Ph.D.

Tvůrčí aktivity

  • LETKO, Z.; VOJNAR, T.; KŘENA, B.: JRDH; Java Race Detector & Healer. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/. URL: http://www.fit.vutbr.cz/research/prod/index.php?id=49. (software)
    http://www.fit.vutbr.cz/research/prod/index.php?id=49, počet stažení: 3
    Detail

  • LETKO, Z.; VOJNAR, T.; KŘENA, B.: SearchBestie; Search-based Testing Environment (SearchBestie). http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/SearchBestie, počet stažení: 1
    Detail

  • DUDKA, V.; FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T.: RecRev; Replay Tracer & BMC. http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/RecRev, počet stažení: 2
    Detail

  • DUDKA, V.; FIEDOR, J.; VOJNAR, T.; KŘENA, B.: DA-BMC; A Tool Chain Combining Dynamic Analysis and Bounded Model Checking. http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/da-bmc, počet stažení: 3
    Detail

  • LETKO, Z.; VOJNAR, T.; KŘENA, B.: JRDH-AT; Java Atomicity Violation Detector & Healer. Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/. URL: http://www.fit.vutbr.cz/research/prod/index.php?id=90. (software)
    http://www.fit.vutbr.cz/research/prod/index.php?id=90, počet stažení: 2
    Detail

  • KŘENA, B.; BRAIONE, P.; DENARO, G.; PEZZE, M.: MUSE; Model checking Using Symbolic Execution. http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/. URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/. (software)
    http://www.fit.vutbr.cz/research/groups/verifit/tools/muse/, počet stažení: 2
    Detail

Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.