A general framework for debugging | IEEE Journals & Magazine | IEEE Xplore