Abstraction and Refinement Techniques in Automated Design Debugging | IEEE Conference Publication | IEEE Xplore