| 2021 | QRS | Dynamic Detection of AsyncTask Related Defects. | Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang |
| 2020 | ICSE | Multiple-entry testing of Android applications by constructing activity launching contexts. | Jiwei Yan, Hao Liu, Linjie Pan, Jun Yan, Jian Zhang, Bin Liang |
| 2019 | ISSTA | Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. | Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang |
| 2018 | ISSTA | LAND: a user-friendly and customizable test generation tool for Android apps. | Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang |
| 2017 | COMPSAC | Comprehensive Static Analysis for Configurable Software via Combinatorial Instantiation. | Dong Yan, Linjie Pan, Rongjie Yan, Jun Yan, Jian Zhang |
| 2017 | CP | Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. | Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang |
| 2016 | CP | Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. | Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang |