Detail produktu

Java Race Detector & Healer

LETKO, Z. VOJNAR, T. KŘENA, B.

Typ produktu

software

Abstrakt

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.

Klíčová slova

Data Races, Detector, Healer, Java

Datum vzniku

31.05.2007

Umístění

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

Možnosti využití

Využití výsledku jiným subjektem je možné bez nabytí licence (výsledek není licencován)

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

Dokumenty