基于动态分析的软件不变量综合技术

@article{JOS20,
  author = {Bo Wang and Sirui Lu and Jiajun Jiang and Yingfei Xiong},
  site_author_id_1 = {WangBo},
  title = {Survey of Dynamic Analysis Based Program Invariant Synthesis Techniques},
  year = {2020},
  month = {6},
  site_title_zh = {基于动态分析的软件不变量综合技术},
  journal = {Ruan Jian Xue Bao/Journal of Software, 31(6):1681−1702 (in Chinese)},
  site_citation_zh = {软件学报, 31(6):1681−1702},
  site_hide_home = {true},
  site_corr = {4},
  site_paper_url = {http://www.jos.org.cn/1000-9825/6014.htm}
}