Diagnosing software configuration errors via static snalysis - Dong, Zhen (2017)