Shan Lu Soyeon Park Chongfeng Hu Xiao Ma Weihang Jiang Zhenmin Li Raluca A. Popa Yuanyuan Zhou MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs. 103-116 2007 conf/sosp/2007 SOSP http://doi.acm.org/10.1145/1294261.1294272 db/conf/sosp/sosp2007.html#LuPHMJLPZ07