@article{叶志斌:28, author = {叶志斌,严波}, title = {符号执行研究综述}, publisher = {计算机科学}, year = {2018}, journal = {计算机科学}, volume = {45}, number = {6A}, eid = {28}, numpages = {7}, pages = {28}, keywords = {符号执行;混合测试;执行生成测试;路径爆炸;约束求解}, url = {https://www.jsjkx.com/CN/abstract/article_224.shtml}, doi = {} }