Unmanned aerial vehicles (UAVs) are unmanned aircrafts operated by radio remote control
and programmed control equipment. Due to their small size, low cost, and high flexibility …

Taint analysis assists fuzzers in solving complex fuzzing constraints by inferring the
influencing input bytes. Execution paths in real-world programs often reach loops, where …

Automated detection of software failures is an important but challenging software
engineering task. It involves finding in a vast search space the failure-inducing test cases …

Fuzzing is a promising approach to DBMS testing. One crucial component in DBMS fuzzing
is grammar: since DBMSs enforce strict validation on inputs, a grammar improves fuzzing …

Coverage-guided fuzzing is one of the most popular software testing techniques for
vulnerability detection. While effective, current fuzzing methods suffer from significant …

Unlike conventional servers housed in a centralized and secured indoor environment (eg,
data centers), Internet-of-Things (IoT) devices such as sensor/actuator are geographically …

Instrumentation is vital to fuzzing. It provides fuzzing directions and helps detect covert bugs,
yet its overhead greatly reduces the fuzzing throughput. To reduce the overhead, compilers …

Brain-inspired hyperdimensional computing (HDC) is an emerging computational paradigm
that mimics brain cognition and leverages hyperdimensional vectors with fully distributed …

The SQL specification consists of hundreds of statement types, which leads to difficulties in
DBMS fuzzing: state-of-the-art works generally reuse the statements of predefined types; the …

Advances in Internet of Things (IoT) and cloud/edge computing systems could precisely
monitor the meteorological elements and environmental conditions. Remote automated …