{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T13:36:43Z","timestamp":1648820203115},"reference-count":10,"publisher":"Allerton Press","issue":"4","license":[{"start":{"date-parts":[[2016,7,1]],"date-time":"2016-07-01T00:00:00Z","timestamp":1467331200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Aut. Control Comp. Sci."],"published-print":{"date-parts":[[2016,7]]},"DOI":"10.3103\/s0146411616040064","type":"journal-article","created":{"date-parts":[[2016,9,15]],"date-time":"2016-09-15T01:28:37Z","timestamp":1473902917000},"page":"253-259","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Optimization of program recursive function calls analysis method"],"prefix":"10.3103","volume":"50","author":[{"given":"Chun","family":"Shan","sequence":"first","affiliation":[]},{"given":"Zequn","family":"Yu","sequence":"additional","affiliation":[]},{"given":"Changzhen","family":"Hu","sequence":"additional","affiliation":[]},{"given":"Jingfeng","family":"Xue","sequence":"additional","affiliation":[]},{"given":"Luxia","family":"Wu","sequence":"additional","affiliation":[]}],"member":"1627","published-online":{"date-parts":[[2016,9,16]]},"reference":[{"issue":"3","key":"6499_CR1","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1002\/spe.2109","volume":"43","author":"D. Baca","year":"2013","unstructured":"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\u2013279.","journal-title":"Software Pract. Exper."},{"key":"6499_CR2","doi-asserted-by":"crossref","unstructured":"Aman, W., A framework for analysis and comparison of dynamic malware analysis tools, Eprint Arxiv, 2014, vol. 6, no. 5.","DOI":"10.5121\/ijnsa.2014.6505"},{"key":"6499_CR3","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-642-18275-4_17","volume-title":"in Verification, Model Checking, and Abstract Interpretation, Berlin\u2013Heidelberg: Springer","author":"E. Goubault","year":"2011","unstructured":"Goubault, E. and Putot, S.S., Static analysis of finite precision computations, in Verification, Model Checking, and Abstract Interpretation, Berlin\u2013Heidelberg: Springer, 2011, pp. 232\u2013247."},{"issue":"1","key":"6499_CR4","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C. Cadar","year":"2013","unstructured":"Cadar, C. and Sen, K., Symbolic execution for software testing: Three decades later, Commun. ACM, 2013, vol. 56, no. 1, pp. 82\u201390.","journal-title":"Commun. ACM"},{"key":"6499_CR5","first-page":"179","volume-title":"Proc. 20th Asia-Pacific Software Engineering Conference (APSEC)","author":"Y. Zhao","year":"2013","unstructured":"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\u2013186."},{"key":"6499_CR6","volume-title":"Encyclopedia of Cryptography and Security","author":"D. Brumley","year":"2011","unstructured":"Brumley, D., Static analysis, in Encyclopedia of Cryptography and Security, New York: Springer US, 2011."},{"key":"6499_CR7","first-page":"281","volume-title":"Lecture Notes in Computer Science","author":"A. Arusoaie","year":"2013","unstructured":"Arusoaie, A., Lucanu, D., and Rusu, V., A generic framework for symbolic execution, in Lecture Notes in Computer Science, 2013, pp. 281\u2013301."},{"issue":"6","key":"6499_CR8","first-page":"1155","volume":"30","author":"L.Y. Zhang","year":"2008","unstructured":"Zhang, L.Y., Liu, J., and Chen, P., Static analysis of C\/C++ program for safety, Syst. Eng. Electron., 2008, vol. 30, no. 6, pp. 1155\u20131158.","journal-title":"Syst. Eng. Electron."},{"issue":"11","key":"6499_CR9","doi-asserted-by":"crossref","first-page":"2224","DOI":"10.3724\/SP.J.1016.2013.02224","volume":"36","author":"S.E. Wang","year":"2013","unstructured":"Wang, S.E. and Education, M.O., A new method for profiling inter-procedural paths with loops, Chin. J. Comput., 2013, vol. 36, no. 11, pp. 2224\u20132235.","journal-title":"Chin. J. Comput."},{"issue":"4","key":"6499_CR10","first-page":"839","volume":"49","author":"Y.W. Wang","year":"2012","unstructured":"Wang, Y.W., Yao, X.H., Gong, Y.Z., et al., A method of buffer overflow detection based on static code analysis, J. Comput. Res. Dev., 2012, vol. 49, no. 4, pp. 839\u2013845.","journal-title":"J. Comput. Res. Dev."}],"container-title":["Automatic Control and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411616040064.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.3103\/S0146411616040064\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.3103\/S0146411616040064.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T10:15:42Z","timestamp":1568369742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.3103\/S0146411616040064"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7]]},"references-count":10,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,7]]}},"alternative-id":["6499"],"URL":"https:\/\/doi.org\/10.3103\/s0146411616040064","relation":{},"ISSN":["0146-4116","1558-108X"],"issn-type":[{"value":"0146-4116","type":"print"},{"value":"1558-108X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,7]]}}}
