TACAS 2006An Experimental Comparison of the Effectiveness of Control Flow Based Testing Approaches on Seeded FaultsAtul Gupta, Pankaj JaloteDOI 10.1007/11691372_24dblpBibTeXAbstract elided by the publisher.