Nontraversible Paths in a Program | IEEE Journals & Magazine | IEEE Xplore