{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:57:48Z","timestamp":1729673868284,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/fskd.2015.7382308","type":"proceedings-article","created":{"date-parts":[[2016,1,15]],"date-time":"2016-01-15T04:52:33Z","timestamp":1452833553000},"page":"2283-2287","source":"Crossref","is-referenced-by-count":0,"title":["Semantics-based memory leak detection for C programs"],"prefix":"10.1109","author":[{"family":"Zhiqiang Liu","sequence":"first","affiliation":[]},{"family":"Bo Xu","sequence":"additional","affiliation":[]},{"family":"Dong Liang","sequence":"additional","affiliation":[]},{"family":"Chang Liu","sequence":"additional","affiliation":[]},{"family":"Zejun Jiang","sequence":"additional","affiliation":[]},{"family":"Chenglie Du","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SYNASC.2013.81"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WEIT.2013.29"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.03.017"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2013.08.004"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"1228","DOI":"10.1109\/T-C.1974.223841","article-title":"equational logic","volume":"c 23","author":"brown","year":"1974","journal-title":"IEEE Transactions on Computers"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.03.012"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16310-4_8"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00359-0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676982"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103719"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TEMC.2012.2227486"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1109\/TR.2014.2299198","article-title":"Software Crash Analysis for Automatic Exploit Generation on Binary Programs","volume":"63","author":"shih-kun","year":"2014","journal-title":"IEEE Transactions on Reliability"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568311"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491511"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.06.003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90182-F"},{"key":"ref2","first-page":"1","article-title":"Addressing memory exhaustion failures in Virtual Machines in a cloud environment","author":"navas-molina","year":"2013","journal-title":"43rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2014.32"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2432631.2432639"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737991"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737979"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32759-9_23"}],"event":{"name":"2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)","start":{"date-parts":[[2015,8,15]]},"location":"Zhangjiajie, China","end":{"date-parts":[[2015,8,17]]}},"container-title":["2015 12th International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374053\/7381900\/07382308.pdf?arnumber=7382308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T03:47:20Z","timestamp":1498276040000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7382308\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/fskd.2015.7382308","relation":{},"subject":[],"published":{"date-parts":[[2015,8]]}}}