A real-time operating system (RTOS) is an operating system designed to meet certain real-
time requirements. It is widely used in embedded applications, and its correctness is safety …

Real-Time Operating System (RTOS) has become the main category of embedded systems.
It is widely used to support tasks requiring real-time response such as printers and switches …

Hybrid fuzzing is a popular software testing technique that combines random fuzzing with
concolic execution. It is widely used in the security domain known for its ability to find deeply …

Hybrid fuzzing, combining symbolic execution and fuzzing, is a promising approach for
vulnerability discovery because each approach can complement the other. However, we …

Despite its effectiveness in uncovering software defects, American Fuzzy Lop (AFL), one of
the best grey-box fuzzers, is inefficient when fuzz-testing source-unavailable programs …

Coverage-guided fuzzing is a widely used and effective solution to find software
vulnerabilities. Tracking code coverage and utilizing it to guide fuzzing are crucial to …

Modern operating system kernels are too complex to be free of bugs. Fuzzing is a promising
approach for vulnerability detection and has been applied to kernel testing. However …

Internet-of-things (IoT) or mobile devices are omnipresent in our daily life; the security issues
inside them are especially crucial. Greybox fuzzing has been shown effective in detecting …

Device drivers are security-critical. In monolithic kernels like Linux, there are hundreds of
thousands of drivers which run in the same privilege as the core kernel. Consequently, a …

Existing directed grey-box fuzzers are effective compared with coverage-based fuzzers.
However, they fail to achieve a balance between effectiveness and efficiency, and it is …