DMCA

Do I Use the Wrong Definition? DefUse: Definition-Use Invariants for Detecting Concurrency and Sequential Bugs (2010)

by Yao Shi , Soyeon Park , Zuoning Yin , Shan Lu , Yuanyuan Zhou , Wenguang Chen , Weimin Zheng
Citations:20 - 8 self