Using symbolic canceling to improve diagnosis from compacted response | IEEE Conference Publication | IEEE Xplore