符号执行研究综述 (Survey of Symbolic Execution) - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Zhibin Ye, Bo Yan. 符号执行研究综述 (Survey of Symbolic Execution). 计算机科学, 45(6A):28-35, 2018. [doi]

@article{YeY18-1,
  title = {符号执行研究综述 (Survey of Symbolic Execution)},
  author = {Zhibin Ye and Bo Yan},
  year = {2018},
  url = {http://www.jsjkx.com/EN/Y2018/V45/I6A/28},
  researchr = {https://researchr.org/publication/YeY18-1},
  cites = {0},
  citedby = {0},
  journal = {计算机科学},
  volume = {45},
  number = {6A},
  pages = {28-35},
}

runs on WebDSL