Automated detection of injected faults in a differential equation solver | IEEE Conference Publication | IEEE Xplore