Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu 0001, Aiguo Cui, Heyuan Shi, Yu Jiang 0001. Tardis: Coverage-Guided Embedded Operating System Fuzzing. IEEE Trans. on CAD of Integrated Circuits and Systems, 41(11):4563-4574, 2022. [doi]
Abstract is missing.