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.

Original Title

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

English Title

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

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

concurrent software, dynamic analysis, healing, Java

Key words in English

concurrent software, dynamic analysis, healing, Java

Authors

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

RIV year

2010

Released

29.09.2009

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-642-04693-3

Book

Runtime Verification

Edition

Lecture Notes in Computer Science, Volume 5779/2009

Pages from

101

Pages to

114

Pages count

14

URL

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

Full text in the Digital Library

http://hdl.handle.net/

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/"
}

Documents

rv09-final