Experience with a Concurrency Bugs Benchmark

@article{Eytani2008ExperienceWA,
  title={Experience with a Concurrency Bugs Benchmark},
  author={Yaniv Eytani and Rachel Tzoref and Shmuel Ur},
  journal={2008 IEEE International Conference on Software Testing Verification and Validation Workshop},
  year={2008},
  pages={379-384}
}
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… CONTINUE READING

Topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 27 REFERENCES

Runtime analysis of atomicity for multithreaded programs

  • IEEE Transactions on Software Engineering
  • 2005
VIEW 2 EXCERPTS
HIGHLY INFLUENTIAL

Dynamic detection of atomic-set-serializability violations

  • 2008 ACM/IEEE 30th International Conference on Software Engineering
  • 2008
VIEW 1 EXCERPT

AOP-based automated unit test classification of large benchmarks

  • 31st Annual International Computer Software and Applications Conference (COMPSAC 2007)
  • 2007
VIEW 1 EXCERPT

Comparative Assessment of Testing and Model Checking Using Program Mutation

  • Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007)
  • 2007
VIEW 1 EXCERPT