How helpful are automated debugging tools? | IEEE Conference Publication | IEEE Xplore