A Semantic Definition of Faults and Its Implications | IEEE Conference Publication | IEEE Xplore