Tardis: Coverage-Guided Embedded Operating System Fuzzing

   @ARTICLE{9921188,
       author={Shen, Yuheng and Xu, Yiru and Sun, Hao and Liu, Jianzhong and Xu, Zichen and Cui, Aiguo and Shi, Heyuan and Jiang, Yu},
       journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems}, 
       title={Tardis: Coverage-Guided Embedded Operating System Fuzzing}, 
       year={2022},
       volume={41},
       number={11},
       pages={4563-4574},
       doi={10.1109/TCAD.2022.3198910}
   }