Přístupnostní navigace
E-application
Search Search Close
Publication detail
LETKO, Z.
Original Title
Dynamic Detection and Healing of Low Level Data Races.
Type
conference paper
Language
English
Original Abstract
Data races are a common problem in concurrent programming. This article describes a tool which is able to detect low level data races in Java programs and heal them -- all at run-time. This tool is build on top of IBM ConTest, a concurrency testing software. The tool uses a modification of the Eraser algorithm to detect data races and implements two techniques of data race healing.
Keywords
data race, dynamic, software testing, formal verification, Java, healing
Authors
RIV year
2007
Released
26. 4. 2007
Publisher
Brno University of Technology
Location
Brno
ISBN
978-80-214-3408-0
Book
Proceedings of the 13th Conference STUDENT EEICT 2007
Edition
Volume 2
Pages from
257
Pages to
259
Pages count
3
BibTex
@inproceedings{BUT25911, author="Zdeněk {Letko}", title="Dynamic Detection and Healing of Low Level Data Races.", booktitle="Proceedings of the 13th Conference STUDENT EEICT 2007", year="2007", series="Volume 2", pages="257--259", publisher="Brno University of Technology", address="Brno", isbn="978-80-214-3408-0" }