Java Atomicity Violation Detector & Healer

Authors:Letko Zdeněk, Vojnar Tomáš, Křena Bohuslav
Type:software
Created:2008
Licence:required - no fee
Keywords:Atomicity Violation, Data Races, Detector, Healer, Java
Description:
The Java Race Detector & Healer is a prototype for a runtime detection and healing of atomicity violations and data races in concurrent Java programs. The tool uses static analyser FindBugs to detect common atomicity patterns in the code. Then, the IBM ConTest listeners architecture for tracking the program behaviour is used to find violations and heal them at runtime.
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:

Your IPv4 address: 54.198.31.213
Switch to IPv6 connection

DNSSEC [dnssec]