Tardis: Coverage-Guided Embedded Operating System Fuzzing

Published in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022