“…For a rising (falling) transition fault, denoted by f , we refer to the corresponding function as the rising (falling) test function, denoted by T R f () (T F f ()). Moreover, [7] shows how the functions can be parameterized using sensitization criteria for quality event activation and propagation, as those that have been adopted in PDF test generation. The robust, non-robust, and functional sensitization criteria of [3] were explicitly discussed in [7], however, any other sensitization classification rules that have been proposed in the literature can be incorporated.…”