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. Concurrency - Practice and Experience, 19(3):267-279, 2007. [doi]

Abstract

Abstract is missing.