Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs.

Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng

Browse the full OOPSLA paper archive.