Semantic failure [of software] | IEEE Journals & Magazine | IEEE Xplore