Detail výsledku

Dynamic Detection and Healing of Low Level Data Races.

LETKO, Z. Dynamic Detection and Healing of Low Level Data Races. Proceedings of the 13th Conference STUDENT EEICT 2007. Volume 2. Brno: Brno University of Technology, 2007. p. 257-259. ISBN: 978-80-214-3408-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D., FIT (FIT), UITS (FIT)
Abstrakt

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.

Klíčová slova

data race, dynamic, software testing, formal verification, Java, healing

Rok
2007
Strany
257–259
Sborník
Proceedings of the 13th Conference STUDENT EEICT 2007
Řada
Volume 2
Konference
Student EEICT 2007
ISBN
978-80-214-3408-0
Vydavatel
Brno University of Technology
Místo
Brno
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"
}
Projekty
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru