Diagnosing software configuration errors via static analysis - Dong, Zhen (2017)
Keywords: Hochschulschrift