Towards a framework and a benchmark for testing tools for multi-threaded programs.

Yaniv Eytani Klaus Havelund Scott D. Stoller Shmuel Ur Towards a framework and a benchmark for testing tools for multi-threaded programs. 267-279 2007 19 Concurrency and Computation: Practice and Experience 3 http://dx.doi.org/10.1002/cpe.1068 db/journals/concurrency/concurrency19.html#EytaniHSU07