Comparing software-based fault detection techniques applied at different abstraction levels | IEEE Conference Publication | IEEE Xplore