Dong, Zhen (2017) Diagnosing Software Configuration Errors via Static Analysis. [Dissertation]