Do i use the wrong definition?: Defuse: Definitionuse invariants for detecting concurrency and sequential bugs (2010)

by Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu, Yuanyuan Zhou, Wenguang Chen, Weimin Zheng
Venue:In OOPSLA