Automatic Determination of May/Must Set Usage in Data-Flow Analysis. - Andrew Stone; Michelle Strout; Shweta Behere (SCAM, 2008)

May/must analysis and the DFAGen data-flow analysis generator. - Andrew Stone; Michelle Strout; Shweta Behere (Inf. Softw. Technol., 2009)