@misc{indiciae73f1776dca3a,
  title = {Toward a Benchmark for Multi-Threaded Testing Tools},
  author = {Eytani, Yaniv and Stoller, Scott D. and Havelund, Klaus and Ur, Shmuel},
  year = {2005},
  url = {https://ntrs.nasa.gov/citations/20050082004},
  note = {Source identifier: 20050082004}
}