![](/img/cover-not-exists.png)
Automatically Inferring Structure Correlated Variable Set for Concurrent Atomicity Safety
Pang, Long, Su, Xiaohong, Ma, Peijun, Zhao, LinglingVolume:
4
Journal:
International Journal of Software Engineering & Applications
DOI:
10.5121/ijsea.2013.4605
Date:
November, 2013
File:
PDF, 206 KB
2013