Concurrency Unit Testing with CHESS

Details

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