Author:
Shan Chun,Yu Zequn,Hu Changzhen,Xue Jingfeng,Wu Luxia
Subject
Signal Processing,Control and Systems Engineering,Software
Reference10 articles.
1. Baca, D., Carlsson, B., Petersen, K., et al., Improving software security with static automated code analysis in an industry setting, Software Pract. Exper., 2013, vol. 43, no. 3, pp. 259–279.
2. Aman, W., A framework for analysis and comparison of dynamic malware analysis tools, Eprint Arxiv, 2014, vol. 6, no. 5.
3. Goubault, E. and Putot, S.S., Static analysis of finite precision computations, in Verification, Model Checking, and Abstract Interpretation, Berlin–Heidelberg: Springer, 2011, pp. 232–247.
4. Cadar, C. and Sen, K., Symbolic execution for software testing: Three decades later, Commun. ACM, 2013, vol. 56, no. 1, pp. 82–90.
5. Zhao, Y., Wang, Y., Gong, Y., et al., STVL: Improve the precision of static defect detection with symbolic threevalued logic, Proc. 20th Asia-Pacific Software Engineering Conference (APSEC), Bangkok, 2013, pp. 179–186.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献