Automated debugging: are we close? | IEEE Journals & Magazine | IEEE Xplore