The effect of program behavior on fault observability | IEEE Journals & Magazine | IEEE Xplore