Detail publikačního výsledku

A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

KŘENA, B.; LETKO, Z.; VOJNAR, T.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S.

Originální název

A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

Anglický název

A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-insin this paper) are implemented through the listener architecture ofConTest. Two plug-ins for runtime detection of common concurrent bugsare presented-the first (Eraser+) is able to detect data races whilethe second (AtomRace) is able to detect not only data races but alsomore general bugs caused by violation of atomicity presumptions. Athird plug-in presented in this paper is designed to hide bugs thatmade it into the field so that when problems are detected they can becircumvented. Several experiments demonstrate the capabilities of theseplug-ins.

Anglický abstrakt

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-insin this paper) are implemented through the listener architecture ofConTest. Two plug-ins for runtime detection of common concurrent bugsare presented-the first (Eraser+) is able to detect data races whilethe second (AtomRace) is able to detect not only data races but alsomore general bugs caused by violation of atomicity presumptions. Athird plug-in presented in this paper is designed to hide bugs thatmade it into the field so that when problems are detected they can becircumvented. Several experiments demonstrate the capabilities of theseplug-ins.

Klíčová slova

concurrent software, dynamic analysis, healing, Java

Klíčová slova v angličtině

concurrent software, dynamic analysis, healing, Java

Autoři

KŘENA, B.; LETKO, Z.; VOJNAR, T.; NIR-BUCHBINDER, Y.; TZOREF-BRILL, R.; UR, S.

Rok RIV

2010

Vydáno

29.09.2009

Nakladatel

Springer Verlag

Místo

Berlin

ISBN

978-3-642-04693-3

Kniha

Runtime Verification

Edice

Lecture Notes in Computer Science, Volume 5779/2009

Strany od

101

Strany do

114

Strany počet

14

URL

https://www.fit.vut.cz/research/publication/9114/

BibTex

@inproceedings{BUT30854,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar} and Yarden {Nir-Buchbinder} and Rachel {Tzoref} and Shmuel {Ur}",
  title="A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing",
  booktitle="Runtime Verification",
  year="2009",
  series="Lecture Notes in Computer Science, Volume 5779/2009",
  pages="101--114",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-642-04693-3",
  url="https://www.fit.vut.cz/research/publication/9114/"
}

Dokumenty

rv09-final