DMCA

MUVI: Automatically Inferring Multi-Variable Access Correlations and Detecting Related Semantic and Concurrency Bugs

Cached

Download Links

by Shan Luy , Soyeon Parky , Chongfeng Huy , Xiao May , Weihang Jiangy , Zhenmin Liyz , Raluca A. Popax , Yuanyuan Zhouyz