2V. O. Savitskii, D. V. Sidorov. Fast analysis of source code in C and C++ [J].Programming and Computer Software, 2013, 39 (01):49-55.
3Gabriel D i az, Juan kam 6 n Bermejo. Static analysis of source code security: Assessment of tools against SAMATE tests [J].Information and Software Technology, 2013, 15 ( 08 ) : .32-35.
4Gert van der Merwe, Jan H.R Eloff. Software source code, visual risk analysis: an example [J].Computers & Security, 1998, (03):233-252.
6Cadar C, Dunbar D, Engler D R. KLEE.- Unassisted and au- tomatic eneration of high-coverage tests for complex systems programs [C] //8th USENIX Symposium on Operating Sys- tems Design and Implementation, 2008: 209-224.
7Cadar C, Grnesh V, Pawlowski P M, et al. EXE: Automati- cally generating inputs of death [J]. ACM Transactions on In- formation and System Security, 2008, 12 (2): 10-19.
8Yeganeh S H, Eftekhar M, Ganjali Y, et al. CUTE: Traffic classification using terms [C] //21st International Conference on Computer Communications and Networks. IEEE, 2012: 1-9.
9Sen K. DART: Directed automated random testing [G]. LNCS 6405: Haifa Verification Conference Computer Science Series, 2009.
10Zhu H, Huang D, Zhang W, et al. The novel virulence-rela- ted gene STP of streptococcus suis serotype 9 strain contributes to a significant reduction in mouse mortality [J]. Microbial Pathogenesis, 2011, 51 (6): 442-453.
