Java Race Detector & Healer

Authors:Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
Type:software
Created:2007
Licence:required - no fee
Keywords:Data Races, Detector, Healer, Java
Description:
The Java Race Detector & Healer is a prototype for a runtime detection and healing of low level data races in concurrent Java programs. The tool uses the IBM ConTest listeners architecture for tracking the program behaviour and analysing it.
Location:
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/
Research groups:
Departments:
Licence terms:
Licenční podmínky pro užití nástroje jsou dosupné na URL nástroje: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

Your IPv4 address: 54.82.81.154
Switch to IPv6 connection

DNSSEC [dnssec]