Andrew Stone, Michelle Strout, Shweta Behere. Automatic Determination of May/Must Set Usage in Data-Flow Analysis. In Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China. pages 153-162, IEEE, 2008. [doi]
Abstract is missing.