Publication Details

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. A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing. Runtime Verification. Lecture Notes in Computer Science, Volume 5779/2009. Berlin: Springer Verlag, 2009. p. 101-114. ISBN: 978-3-642-04693-3.
Czech title
Nástroj pro testování paralelních programů a jeho moduly pro dynamickou analýzu a léčení
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D. (DITS)
Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Nir-Buchbinder Yarden
Tzoref Rachel
Ur Shmuel
URL
Keywords

concurrent software, dynamic analysis, healing, Java

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.

Published
2009
Pages
101–114
Proceedings
Runtime Verification
Series
Lecture Notes in Computer Science, Volume 5779/2009
Conference
21st International Conference on Computer Aided Verification (CAV'09) and 9th International Workshop on Runtime Verification (RV'09), Grenoble, FR
ISBN
978-3-642-04693-3
Publisher
Springer Verlag
Place
Berlin
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/"
}
Files
Back to top