Runtime verification techniques are used to continuously check whether software execution
satisfies or violates a given correctness property. In this paper, we extend our previous work …

Due to the nature in dealing only with observed executions of a real system, runtime
verification is being pursued as a lightweight verification technique. However, the overhead …

Directed fuzzing focuses on automatically testing specific parts of the code by taking
advantage of additional information such as (partial) bug stack trace, patches or risky …

Context-bounded model checking has successfully been used to verify safety properties in
multi-threaded systems automatically, even if they are implemented in low-level …

Researchers have proposed many optimizations to improve the efficiency of fuzzing, and
most optimized strategies work very well on their targets when running in single mode with …

Greybox fuzzing has been widely used in stateless programs and has achieved great
success. However, most state-of-the-art greybox fuzzers have slow speed and shallow state …

The interfaces of software components are often paired with specifications or protocols that
prescribe correct and safe usage. An important class of these specifications consists of …

In recent years, the fuzzing technology is widely used to detect the software vulnerabilities
owing to the coverage improvement in the target program and the easiness of use. However …

Despite the efficacy of fuzzing in verifying the implementation correctness of IoT protocols,
existing IoT fuzzing approaches grapple with several limitations, including unknown …

Model checking requires a specification of the target system's desirable properties, some of
which are temporal. Formulating a temporal property of the system based on either its …