Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs (2007)

by Yaniv Eytani , Klaus Havelund , Scott D. Stoller , Shmuel Ur
Venue:Conc. & Comp.: Practice & Experience
Citations:26 - 6 self