TY  - RPRT
TI  - Toward a Benchmark for Multi-Threaded Testing Tools
AU  - Eytani, Yaniv
AU  - Stoller, Scott D.
AU  - Havelund, Klaus
AU  - Ur, Shmuel
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20050082004
ID  - 20050082004
ER  -