@misc{indiciaea279bbe6c11d,
  title = {Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools},
  author = {Havelund, Klaus and Stoller, Scott D. and Ur, Shmuel},
  year = {2003},
  url = {https://ntrs.nasa.gov/citations/20060019192},
  note = {Source identifier: 20060019192}
}