Research Frontiers in Kernel Symbolic Execution and Automated Test Case Generation
Research on kernel symbolic execution frameworks for automated bug detection, vulnerability discovery, and generating test cases that exercise complex kernel code paths.