Communication protocols form the bedrock of our interconnected world, yet vulnerabilities
within their implementations pose significant security threats. Recent developments have …

As one of the most popular software testing techniques, fuzzing can find a variety of
weaknesses in a program, such as software bugs and vulnerabilities, by generating …

Java virtual machine (JVM) is a core technology, whose reliability is critical. Testing JVM
implementations requires painstaking effort in designing test classfiles (*. class) along with …

Deep learning (DL) techniques attract people from various fields with superior performance
in making progressive breakthroughs. To ensure the quality of DL techniques, researchers …

Research in black-box testing has produced impressive results in the past 40 years,
addressing many aspects of the problem that span from integration with the development …

Adequately exercising the behaviors of autonomous vehicles is fundamental to their
validation. However, quantifying an autonomous vehicle's testing adequacy is challenging …

Abstract Narrowband Internet of Things (NB-loT) is widely deployed in the cellular network of
operators, yet implementations of its core network protocols are suffering from bugs. Due to …

We present Metis, a model-checking framework designed for versatile, thorough, yet
configurable file system testing in the form of input and state exploration. It uses a …

Vulnerable software represents a tremendous threat to modern information systems.
Vulnerabilities in widespread applications may be used to spread malware, steal money and …

File systems need testing to discover bugs and to help ensure reliability. Many file system
testing tools are evaluated based on their code coverage. We analyzed recently reported …