Christoph Bockisch Sebastian Kanthak Michael Haupt Matthew Arnold Mira Mezini Efficient control flow quantification. 125-138 2006 conf/oopsla/2006 OOPSLA http://doi.acm.org/10.1145/1167473.1167484 db/conf/oopsla/oopsla2006.html#BockischKHAM06