Product detail
Java Race Detector & Healer
LETKO, Z. VOJNAR, T. KŘENA, B.
Product type
software
Abstract
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.
Keywords
Data Races, Detector, Healer, Java
Create date
31. 5. 2007
Location
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/
Possibilities of use
K využití výsledku jiným subjektem je vždy nutné nabytí licence
Licence fee
Poskytovatel licence na výsledek nepožaduje licenční poplatek
www