Automated diagnosis of software misconfigurations based on static analysis. - Zhen Dong 004; Mohammadreza Ghanavati; Artur Andrzejak 001 (ISSRE (Supplemental Proceedings), 2013)

Scalable isolation of failure-inducing changes via version comparison. - Mohammadreza Ghanavati; Artur Andrzejak 001; Zhen Dong 004 (ISSRE (Supplemental Proceedings), 2013)

Practical and accurate pinpointing of configuration errors using static analysis. - Zhen Dong 004; Artur Andrzejak 001; Kun Shao (ICSME, 2015)

ORPLocator: Identifying Read Points of Configuration Options via Static Analysis. - Zhen Dong 004; Artur Andrzejak 001; David Lo 001; Diego Costa 001 (ISSRE, 2016)

Does the Choice of Configuration Framework Matter for Developers? Empirical Study on 11 Java Configuration Frameworks. - Mohammed Sayagh; Zhen Dong 004; Artur Andrzejak 001; Bram Adams (SCAM, 2017)

Diagnosing software configuration errors via static analysis. - Zhen Dong 004 (2017)