{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:09:50Z","timestamp":1725455390380},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,3]]},"DOI":"10.1109\/icaci.2015.7184730","type":"proceedings-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T22:54:27Z","timestamp":1439506467000},"page":"23-26","source":"Crossref","is-referenced-by-count":0,"title":["Enhancing fuzzing with a minimum set solver"],"prefix":"10.1109","author":[{"given":"Jinxin","family":"Ma","sequence":"first","affiliation":[]},{"family":"Tao Zhang","sequence":"additional","affiliation":[]},{"family":"Puhan Zhang","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606558"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462173"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.61"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CICYBS.2013.6597203"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.182"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516736"},{"key":"ref16","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proc Symposium on Operating Systems Design and Implementation"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"ref18","first-page":"183","article-title":"Parallel symbolic execution for automated real-world software testing","author":"chipounov","year":"2011","journal-title":"Proceedings of the ACM SIGOPS\/EuroSys Conference on Computer Systems"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1145\/1081706.1081750","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"Proc 10th European Software Engineering Conference Held Jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering"},{"journal-title":"PEACH","year":"0","key":"ref4"},{"key":"ref3","article-title":"MSRPC Fuzzing with SPIKE 2006","author":"dave","year":"2006","journal-title":"Technical Report Immunity Inc"},{"journal-title":"Bestonn","year":"0","key":"ref6"},{"journal-title":"Sulley","year":"0","key":"ref5"},{"key":"ref8","article-title":"Automated whitebox fuzz Testing","author":"godefroid","year":"2008","journal-title":"Proceedings of the 16th Annual Network and Distributed System Security Symposium"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"journal-title":"DFUZ","year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"journal-title":"Antiparser","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.13"},{"journal-title":"AutoHotkey","year":"0","key":"ref21"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.17"},{"key":"ref26","article-title":"IntScope: Automatically detecting integer overflow vulnerability in x86 binary using symbolic execution","author":"wang","year":"2010","journal-title":"Proceedings of the Symposium on Network and Distributed System Security"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.37"}],"event":{"name":"2015 Seventh International Conference on Advanced Computational Intelligence (ICACI)","start":{"date-parts":[[2015,3,27]]},"location":"Wuyi, China","end":{"date-parts":[[2015,3,29]]}},"container-title":["2015 Seventh International Conference on Advanced Computational Intelligence (ICACI)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/7174268\/7184712\/07184730.pdf?arnumber=7184730","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T17:37:37Z","timestamp":1498239457000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/7184730\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3]]},"references-count":26,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/icaci.2015.7184730","relation":{},"subject":[],"published":{"date-parts":[[2015,3]]}}}