TY  - RPRT
TI  - Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools
AU  - Havelund, Klaus
AU  - Stoller, Scott D.
AU  - Ur, Shmuel
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20060019192
ID  - 20060019192
ER  -