Automatic Determination of May/Must Set Usage in Data-Flow Analysis.

Andrew Stone, Michelle Strout, Shweta Behere

Browse the full SCAM paper archive.