Yuan Liu Xi Wang 0003 Lintao Xian Zhongwen Guo STAD: Stack Trace Based Automatic Software Misconfiguration Diagnosis via Value Dependency Graph. 135-152 2019 SPIN https://doi.org/10.1007/978-3-030-30923-7_8 conf/spin/2019 db/conf/spin/spin2019.html#LiuWXG19