ABCE: A Novel Framework for Improved Branch Coverage Analysis. - Sangharatna Godboley; Arun Sahani; Durga Prasad Mohapatra (SCSE, 2015)