Detail aplikovaného výsledku

Java Race Detector & Healer

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

Originální název

Java Race Detector & Healer

Anglický název

Java Race Detector & Healer

Druh

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.

Abstrakt aglicky

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

Klíčová slova anglicky

Data Races, Detector, Healer, Java

Umístění

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

Licenční poplatek

K využití výsledku jiným subjektem je vždy nutné nabytí licence

www

https://www.fit.vut.cz/research/product/49/