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.05.2007

Location

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

www