DMCA

A race-detection and flipping algorithm for automated testing of multi-threaded programs

Cached

Download Links

by Koushik Sen , Gul Agha
Venue:In Haifa Verification Conference (2006
Citations:18 - 3 self