Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution.

Yigong Hu, Gongqi Huang, Peng Huang

Browse the full OSDI paper archive.