{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:27:14Z","timestamp":1725906434912},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319647005"},{"type":"electronic","value":"9783319647012"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-64701-2_27","type":"book-chapter","created":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T08:56:55Z","timestamp":1500973015000},"page":"373-385","source":"Crossref","is-referenced-by-count":1,"title":["A Detecting Method of Array Bounds Defects Based on Symbolic Execution"],"prefix":"10.1007","author":[{"given":"Chun","family":"Shan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiyou","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingfeng","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Changzhen","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongjin","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,26]]},"reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"2","DOI":"10.16184\/j.cnki.comprg.2012.04.019","volume":"4","author":"XX Hui","year":"2012","unstructured":"Hui, X.X., Zhang, Y.: Static analysis of array bound. Comput. Program. Skills Maintenance 4, 2 (2012). doi:\n10.16184\/j.cnki.comprg.2012.04.019","journal-title":"Comput. Program. Skills Maintenance"},{"key":"27_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.3778\/j.issn.1002-8331.2008.27.028","volume":"44","author":"P Zhao","year":"2008","unstructured":"Zhao, P., Li, J., Gong, Y.: Research on static test about array index out of range in java language. Comput. Eng. Appl. 44, 27 (2008). doi:\n10.3778\/j.issn.1002-8331.2008.27.028","journal-title":"Comput. Eng. Appl."},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"108","DOI":"10.3969\/j.issn.1000-3428.2006.01.038","volume":"32","author":"MC Xu","year":"2006","unstructured":"Xu, M.C., Liu, J.: A static checking method of array access violation based on abstract syntax tree. Comput. Eng. 32, 108\u2013109 (2006). doi:\n10.3969\/j.issn.1000-3428.2006.01.038","journal-title":"Comput. Eng."},{"key":"27_CR4","doi-asserted-by":"publisher","first-page":"2222","DOI":"10.3969\/j.issn.1000-1220.2006.12.009","volume":"27","author":"CP Gao","year":"2007","unstructured":"Gao, C.P., Tang, L.Q., Gong, Y.Z., Zhang, W.: Research on static and auto-testing method for array bounds based on integer range aggregation. Mini-Micro Syst. 27, 2222\u20132227 (2007). doi:\n10.3969\/j.issn.1000-1220.2006.12.009","journal-title":"Mini-Micro Syst."},{"key":"27_CR5","doi-asserted-by":"publisher","first-page":"145","DOI":"10.3969\/j.issn.1008-0570.2007.31.062","volume":"31","author":"YF Ye","year":"2007","unstructured":"Ye, Y.F., Ye, J.M., Zhan, Z.M., Lei, Z.X.: Research on fault model of array bound and its detecting method. Microcomput. Inf. 31, 145\u2013147 (2007). doi:\n10.3969\/j.issn.1008-0570.2007.31.062","journal-title":"Microcomput. Inf."},{"key":"27_CR6","doi-asserted-by":"publisher","first-page":"3257","DOI":"10.11772\/j.issn.1001-9081.2013.11.3257","volume":"33","author":"SJ Zhang","year":"2013","unstructured":"Zhang, S.J., Shang, Z.W.: Detection of array bound overflow by interval set based on Cppcheck. J. Comput. Appl. 33, 3257\u20133261 (2013). doi:\n10.11772\/j.issn.1001-9081.2013.11.3257","journal-title":"J. Comput. Appl."},{"key":"27_CR7","first-page":"1","volume":"11","author":"BG Delzanno","year":"2010","unstructured":"Delzanno, B.G., Jung, G., Podelski, A.: Static analysis of array bounds as in model checking. Ext. Abstr. BMC Pediatr. 11, 1\u20138 (2010)","journal-title":"Ext. Abstr. BMC Pediatr."},{"key":"27_CR8","doi-asserted-by":"publisher","first-page":"808","DOI":"10.4028\/www.scientific.net\/AMM.63-64.808","volume":"63\u201364","author":"HH Chen","year":"2011","unstructured":"Chen, H.H., Jin, D.H., Gong, Y.Z., Liu, C.C.: A static defect checker for interprocedural array bound. Appl. Mech. Mater. 63\u201364, 808\u2013813 (2011). doi:\n10.4028\/www.scientific.net\/AMM.63-64.808","journal-title":"Appl. Mech. Mater."},{"key":"27_CR9","doi-asserted-by":"publisher","first-page":"753","DOI":"10.1002\/spe.1028","volume":"41","author":"A Gampe","year":"2011","unstructured":"Gampe, A., Ronne, J.V., Niedzielski, D., Vasek, J., Psarris, K.: Safe, multiphase bounds check elimination in Java. Softw. Pract. Experience 41, 753\u2013788 (2011). doi:\n10.1002\/spe.1028","journal-title":"Softw. Pract. Experience"},{"key":"27_CR10","unstructured":"Lin, J.B., Liu, H.: Research of Symbolic Execution. In: National Conference on Computer Security (2013)"},{"key":"27_CR11","doi-asserted-by":"publisher","first-page":"42","DOI":"10.3969\/j.issn.1673-629X.2013.06.011","volume":"23","author":"JJ Liang","year":"2013","unstructured":"Liang, J.J., Liu, J.F., Zhu, D.D., Chen, K.: Software static test research based on symbolic execution. Comput. Technol. Dev. 23, 42\u201345 (2013). doi:\n10.3969\/j.issn.1673-629X.2013.06.011","journal-title":"Comput. Technol. Dev."},{"key":"27_CR12","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1145\/2408776.2408795","volume":"56","author":"C Cadar","year":"2013","unstructured":"Cadar, C., Sen, K.: Symbolic execution for software testing: three decades later. Commun. ACM 56, 82\u201390 (2013). doi:\n10.1145\/2408776.2408795","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Network and System Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-64701-2_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T09:06:18Z","timestamp":1500973578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-64701-2_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319647005","9783319647012"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-64701-2_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}