On the detection of board delay faults through the execution of functional programs | IEEE Conference Publication | IEEE Xplore