While many techniques have been proposed to find software configuration errors in software
systems, most of them focus on finding misconfiguration occurring on a single node …

Today, high-impact errors in programs result in huge money losses, are notoriously
expensive for programmers to repair, and affect millions of real-world users. This dissertation …

As the scale and complexity of software continue to increase, software security
vulnerabilities are also growing. Among these vulnerabilities, configuration vulnerabilities …

Storage systems are vital in managing the ever increasing data generated by High
Performance Computing based and Cloud-based applications. Therefore ensuring reliability …

Today's distributed system infrastructures usually consist of multiple systems that cooperate
to deliver computing and storage services together. The reliability of distributed system …

Timeout bugs can cause serious availability and performance issues which are often difficult
to fix due to the lack of diagnostic information. Previous work proposed solutions for fixing …

Router software is prone to bugs triggered by commands entered in the command line
interface (CLI). In particular, over two-thirds of the CLI-triggered bugs in FreeRangeRouting …

Fail-slow tolerance has been a long-desired trait for computer systems. A fail-slow fault
causes a hardware or software component to experience performance degradation without …