Automated Test Generation for Debugging Multiple Bugs in Arithmetic Circuits | IEEE Journals & Magazine | IEEE Xplore