Packages
cz.vutbr.fit.atomicity  
cz.vutbr.fit.findbugs.atom.analysis  
cz.vutbr.fit.findbugs.atom.detect  
cz.vutbr.fit.healing  
cz.vutbr.fit.racedetector Race detector for IBM ConTest What is a data race?