ConMem: Detecting Severe Concurrency Bugs through an Effect-Oriented Approach

by Wei Zhang , Chong Sun , Shan Lu
Citations:25 - 5 self