Source code transformation for software-based on-line error detection | IEEE Conference Publication | IEEE Xplore