@article{GengYJZLGX18,
  author    = {Jian Zhang and Chao Zhang and Jifeng Xuan and Yingfei Xiong and Qianxiang Wang and Bin Liang and Lian Li and Wensheng Dou and Zhenbang Chen and Liqian Chen and Yan Cai},
  title     = {Recent Progress in Program Analysis},
  journal   = {Journal of Software},
  volume    = {30},
  number    = {1},
  pages     = {80--109},
  year      = {2019},
  url       = {http://www.jos.org.cn/josen/ch/reader/view_abstract.aspx?file_no=5651},
  doi       = {10.13328/j.cnki.jos.005651Journal of Software:2019.30(1):80-109}  
}