Qirun Zhang

Practical GUI Testing of Android Applications Via Model Abstraction and Refinement

Tianxiao Gu, C. P. Sun, Xiaoxing Ma et al. · 2019 · 181 citations

Computing, Computer Science, Computer Systems +17

Toward understanding compiler bugs in GCC and LLVM

C. P. Sun, Vu Le, Qirun Zhang et al. · 2016 · 118 citations

Computing, Computer Engineering, Computer Science +11

Perses

C. P. Sun, Yuanbo Li, Qirun Zhang et al. · 2018 · 101 citations · Full text

Computing, Computer Engineering, Computer Science +7

Skeletal program enumeration for rigorous compiler testing

Qirun Zhang, C. P. Sun, Zhendong Su · 2017 · 93 citations

Computing, Computer Engineering, Computer Science +11

Fast algorithms for Dyck-CFL-reachability with applications to alias analysis

Qirun Zhang, Michael R. Lyu, Hao Yuan et al. · 2013 · 68 citations

Computing, Computer Science, Algorithms +15