Efficient control flow quantification.

Christoph Bockisch, Sebastian Kanthak, Michael Haupt, Matthew Arnold, Mira Mezini

Browse the full OOPSLA paper archive.