Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Ing.
Ph.D.
FIT, CK-SZZ – člen pracovní skupiny
Odeslat VUT zprávu
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: https://www.fit.vut.cz/research/product/49/. (software)https://www.fit.vut.cz/research/product/49/, počet stažení: 3Detail
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í: 1Detail
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í: 2Detail
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: https://www.fit.vut.cz/research/product/90/. (software)https://www.fit.vut.cz/research/product/90/, počet stažení: 2Detail
Pokud je v údajích nesrovnalost, podívejte se do častých otázek k vizitkám.