@article{eytani06toward,
  author= "Yaniv Eytani and Klaus Havelund and Scott D. Stoller and Shmuel Ur",
  title="Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs",
  journal = "Concurrency and Computation: Practice \& Experience",
  year =  2006,
  volume = 19,
  number=3,
  pages = "267-279"
}