Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. - Feifei Ma; Xin Gao; Minghao Yin; Linjie Pan 001; Ji-Wei Jin; Hai Liu; Jian Zhang 001 (CP, 2016)

Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. - Dong Yan; Linjie Pan 001; Rongjie Yan; Jun Yan 009; Jian Zhang 001 (COMPSAC (1), 2017)

Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. - Linjie Pan 001; Ji-Wei Jin; Xin Gao; Wei Sun 001; Feifei Ma; Minghao Yin; Jian Zhang 001 (CP, 2017)

LAND: a user-friendly and customizable test generation tool for Android apps. - Jiwei Yan; Linjie Pan 001; Yaqi Li; Jun Yan 009; Jian Zhang 001 (ISSTA, 2018)

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. - Linjie Pan 001; Baoquan Cui; Jiwei Yan; Xutong Ma; Jun Yan 009; Jian Zhang 001 (ISSTA, 2019)

Multiple-entry testing of Android applications by constructing activity launching contexts. - Jiwei Yan; Hao Liu; Linjie Pan 001; Jun Yan 009; Jian Zhang 001; Bin Liang 002 (ICSE, 2020)

Static asynchronous component misuse detection for Android applications. - Linjie Pan 001; Baoquan Cui; Hao Liu; Jiwei Yan; Siqi Wang; Jun Yan 009; Jian Zhang 001 (ESEC/SIGSOFT FSE, 2020)

Dynamic Detection of AsyncTask Related Defects. - Qing Liu; Linjie Pan 001; Baoquan Cui; Jun Yan 009; Jian Zhang 001 (QRS, 2021)