Conference paper

 
Křena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., Vojnar, T.: A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing, In: Runtime Verification, Berlin, DE, Springer, 2009, p. 101-114, ISBN 978-3-642-04693-3
Publication language:english
Original title:A Concurrency Testing Tool and its Plug-ins for Dynamic Analysis and Runtime Healing
Title (cs):Nástroj pro testování paralelních programů a jeho moduly pro dynamickou analýzu a léčení
Pages:101-114
Proceedings:Runtime Verification
Conference:21st International Conference on Computer Aided Verification (CAV'09) and 9th International Workshop on Runtime Verification (RV'09)
Series:Lecture Notes in Computer Science, Volume 5779/2009
Place:Berlin, DE
Year:2009
ISBN:978-3-642-04693-3
Publisher:Springer Verlag
URL:http://www.springerlink.com/content/y0773341u1q44731/ [PDF]
Files: 
Soubor /pub/9114/rv09-final.pdf nemáte právo číst:
doc_folder_pub1: /pub/9114/rv09-final.pdf no access 3
Keywords
concurrent software, dynamic analysis, healing, Java
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   author = {Bohuslav Křena and Zdeněk Letko and Yarden Nir-Buchbinder
	and Rachel Tzoref-Brill and Shmuel Ur and Tomáš Vojnar},
   title = {A Concurrency Testing Tool and its Plug-ins for Dynamic
	Analysis and Runtime Healing},
   pages = {101--114},
   booktitle = {Runtime Verification},
   series = {Lecture Notes in Computer Science, Volume 5779/2009},
   year = {2009},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-04693-3},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9114}
}