Detecting hard faults with combined approximate forward/backward symbolic techniques | IEEE Conference Publication | IEEE Xplore