Race Detector & Healer for Java

Requirements

By downloading software from this page you agree with the license conditions.

Java Race Detector & Healer binaries: racedetect.tar.gz
(Contains the tool, precompiled Javolution and FindBugs, scripts to run, an example.)
Source files: racedetect-src.tar.gz
(Contains the tool source files and JavaDoc API documentation.)
Eclipse plug-in can be installed from our Eclipse plug-in update site:
http://racedetect.letko.net/
(Use Eclipse -> Help -> Software updates -> Find and Install... to install the plug-in.)

Brno University of Technology Open Source License
Copyright (c) 2007-2009, Brno University of Technology
All rights reserved.

Z. Letko, T. Vojnar, and B. Krena. AtomRace: Data Race and Atomicity Violation Detector and Healer. In Proceedings of the 6th International Workshop on Parallel and Distributed Systems: Testing and Debugging (Seattle, WA, USA, July 20 - 21, 2008). PADTAD'08. ACM, New York, NY, 1-10.
Z. Letko. Dynamic data Race Detection and Self-Healing in Java Programs. Master's thesis, Faculty of Information Technology, Brno University of Technology, 2008.
Krena, B., Letko, Z., Tzoref, R., Ur, S., and Vojnar, T. Healing data races on-the-fly. In Proceedings of the 5th ACM Workshop on Parallel and Distributed Systems: Testing and Debugging (London, United Kingdom, July 09 - 09, 2007). PADTAD '07. ACM, New York, NY, 54-64.

This work is partially supported by the European Community under the Information Society Technologies (IST) programme of the 6th FP for RTD - project SHADOWS, contract IST-035157. The authors are solely responsible for the content of this work. It does not represent the opinion of the European Community, and the European Community is not responsible for any use that might be made of data appearing therein. This work is partially supported by the Czech Ministry of Education, Youth, and Sport under the project Security-Oriented Research in Information Technology, contract CEZ MSM 0021630528, and by the Czech Grant Agency within project Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, contract 102/07/0322, and project Methods and Tools for Automated Bug Detection in Software, contract 102/04/0780.