Misconfigurations are the major causes of software failures. Existing configuration validation
techniques rely on manually written rules or test cases, which are expensive to implement …

NVMe SSD hugely boosts the I/O speed, with up to GB/s throughput and microsecond-level
latency. Unfortunately, DBMS users can often find their high-performanced storage devices …

The prevalence and severity of software configuration-induced issues have driven the
design and development of a number of detection and diagnosis techniques. Many of these …

Memory vulnerability detection aims to identify software defects that can compromise
memory safety. However, existing methods often struggle to achieve both high precision and …

Bug reproduction stands as a pivotal phase in software development, but the absence of
configuration information emerges as the main obstacle to effective bug reproduction. Since …

Due to the large number of possible interactions and transitions among features in
dynamically adaptive systems, testing such systems poses significant challenges. To verify …