Static identifying of synchronization faults in dynamic-multithreaded applications.

Yigang Chen, Wei-Tek Tsai, Jian Liu, Weiwen Xie

Browse the full CATA paper archive.