Java Atomicity Violation Detector & Healer
Atomicity Violation, Data Races, Detector, Healer, Java
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.
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
Methods and Tools for Automated Bug Detection in Software (GP102/06/P076)
Security-Oriented Research in Information Technology (MSM0021630528)