Control Oriented Mutation Testing for Detection of Potential Software Bugs | IEEE Conference Publication | IEEE Xplore