TY - GEN
T1 - Experience with a concurrency bugs benchmark
AU - Eytani, Yaniv
AU - Tzoref, Rachel
AU - Ur, Shmuel
PY - 2008
Y1 - 2008
N2 - We describe a benchmark of publicly-available multi-threaded programs with documented bugs in them. This project was initiated a few years ago with the goal of helping research groups in the fields of concurrent testing and debugging to develop tools and algorithms that improve the quality of concurrent programs. We present a survey of usage of the benchmark, concluding that the benchmark had an impact on the research in the field of testing and debugging of concurrent programs. We also present new possible directions to foster a discussion about new goals to be set for this initiative.
AB - We describe a benchmark of publicly-available multi-threaded programs with documented bugs in them. This project was initiated a few years ago with the goal of helping research groups in the fields of concurrent testing and debugging to develop tools and algorithms that improve the quality of concurrent programs. We present a survey of usage of the benchmark, concluding that the benchmark had an impact on the research in the field of testing and debugging of concurrent programs. We also present new possible directions to foster a discussion about new goals to be set for this initiative.
UR - http://www.scopus.com/inward/record.url?scp=52249111659&partnerID=8YFLogxK
U2 - 10.1109/ICSTW.2008.17
DO - 10.1109/ICSTW.2008.17
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:52249111659
SN - 0769533884
SN - 9780769533889
T3 - 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08
SP - 379
EP - 384
BT - 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08
T2 - 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW'08
Y2 - 9 April 2008 through 11 April 2008
ER -