ACTOR: Action-Guided Kernel Fuzzing. - Marius Fleischer; Dipanjan Das 002; Priyanka Bose; Weiheng Bai; Kangjie Lu; Mathias Payer; Christopher Kruegel; Giovanni Vigna (USENIX Security Symposium, 2023)