DocumentCode
1669376
Title
Heuristics for finding concurrent bugs
Author
Eytani, Yaniv ; Farchi, Eitan ; Ben-Asher, Yosi
Author_Institution
Comput. Sci. Dept., Haifa Univ., Israel
fYear
2003
Abstract
This paper presents new heuristics that increase the probability of manifesting concurrent bugs. The heuristics are based on cross-run monitoring. A contended shared variable is chosen and random context switching is performed at accesses to that variable. The relative strength of the new heuristics is analyzed. In comparison to previous works, our heuristics increase the frequency of bug manifestation. In addition, the new heuristics were able to find bugs that previous methods did not discover.
Keywords
Java; multi-threading; program debugging; program testing; system monitoring; concurrent Java programming; concurrent bugs; contended shared variable; cross-run monitoring; debugging; heuristics; multi-threading; random context switching; testing; Computer bugs; Computer science; Engines; Instruments; Interleaved codes; Java; Switches; System recovery; Testing; Yarn;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium, 2003. Proceedings. International
ISSN
1530-2075
Print_ISBN
0-7695-1926-1
Type
conf
DOI
10.1109/IPDPS.2003.1213514
Filename
1213514
Link To Document