A guided debugger-based fault injection methodology for assessing functional test programs | IEEE Conference Publication | IEEE Xplore