The Design of Whole-Program Analysis Tools.

Darren C. Atkinson, William G. Griswold

Browse the full ICSE paper archive.