{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:50:04Z","timestamp":1729630204173,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,11]]},"DOI":"10.1109\/icsai.2014.7009438","type":"proceedings-article","created":{"date-parts":[[2015,1,20]],"date-time":"2015-01-20T02:37:49Z","timestamp":1421721469000},"page":"1038-1043","source":"Crossref","is-referenced-by-count":0,"title":["Improving guide-based vulnerability detection with hybrid symbolic execution"],"prefix":"10.1109","author":[{"given":"Yongji","family":"Ouyang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuai","family":"Zeng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chao","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qingxian","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1555860.1555866"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"14","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1190215.1190226"},{"key":"12","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-3-642-22110-1_37","article-title":"BAP: A binary analysis platform","author":"brumley","year":"2011","journal-title":"Computer Aided Verification"},{"key":"3","article-title":"Open source fuzzing tools","author":"rathaus","year":"2011","journal-title":"Syngress"},{"key":"2","article-title":"Revolutionizing the field of grey-box attack surface testing with evolutionary fuzzing","author":"demott","year":"2007","journal-title":"BlackHat and Defcon"},{"key":"1","first-page":"40","author":"sutton","year":"2007","journal-title":"Fuzzing Brute Force Vulnerability Discovery"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.37"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1961295.1950396"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/2090147.2094081"},{"key":"5","first-page":"4045419","article-title":"CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools","author":"sen","year":"2006","journal-title":"Computer Aided Verification"},{"key":"4","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","volume":"8","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"9","first-page":"49","article-title":"Dowsing for overflows: A guided fuzzer to find buffer boundary violations","author":"haller","year":"2013","journal-title":"Proceedings of the 22nd USENIX Conference on Security"},{"key":"8","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1713254.1713257","article-title":"Cloud9: A software testing service[J]","volume":"43","author":"ciortea","year":"2010","journal-title":"ACM SIGOPS Operating Systems Review"}],"event":{"name":"2014 2nd International Conference on Systems and Informatics (ICSAI)","start":{"date-parts":[[2014,11,15]]},"location":"Shanghai, China","end":{"date-parts":[[2014,11,17]]}},"container-title":["The 2014 2nd International Conference on Systems and Informatics (ICSAI 2014)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6994954\/7009247\/07009438.pdf?arnumber=7009438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T21:39:18Z","timestamp":1566250758000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7009438\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/icsai.2014.7009438","relation":{},"subject":[],"published":{"date-parts":[[2014,11]]}}}