An experimental comparison of software diagnosis methods | IEEE Conference Publication | IEEE Xplore