Concurrency Unit Testing with CHESS

Madanlal Musuvathi and Shaz Qadeer

Details

Publication typeTechReport
NumberMSR-TR-2008-04
Pages0
InstitutionMicrosoft Research
> Publications > Concurrency Unit Testing with CHESS