Product Details

Java Race Detector & Healer

Created: 2007

Czech title
Nástroj pro detekci a opravu časově závislých chyb v Javě
Type
software
License
required - free
Authors
Letko Zdeněk, Ing. (FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Keywords

Data Races, Detector, Healer, Java

Description

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.

Projects
Research groups
Departments
Back to top