Detail publikace

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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

Klíčová slova

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

2009

Vydáno

29. 9. 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/"
}