Fuzz testing for digital TV receivers and multitasking control software verification. (7th December 2022) - Le Traon, Yves; Xie, Tao