On the detection of board delay faults through the execution of functional programs. - Gaiping An; Riccardo Cantoro; Ernesto Sánchez 001; Matteo Sonza Reorda (LATS, 2017)