Hiralal Agrawal Dominators, Super Blocks, and Program Coverage. 25-34 1994 POPL db/conf/popl/popl94.html#Agrawal94