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