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]

Authors

Yaniv Eytani

This author has not been identified. Look up 'Yaniv Eytani' in Google

Klaus Havelund

This author has not been identified. It may be one of the following persons: Look up 'Klaus Havelund' in Google

Scott D. Stoller

This author has not been identified. Look up 'Scott D. Stoller' in Google

Shmuel Ur

This author has not been identified. Look up 'Shmuel Ur' in Google