{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T20:53:59Z","timestamp":1725656039458},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642259289"},{"type":"electronic","value":"9783642259296"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-25929-6_16","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T08:36:23Z","timestamp":1327653383000},"page":"167-178","source":"Crossref","is-referenced-by-count":2,"title":["STANSE: Bug-Finding Framework for C Programs"],"prefix":"10.1007","author":[{"given":"Jan","family":"Obdr\u017e\u00e1lek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji\u0159\u00ed","family":"Slab\u00fd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Trt\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"16_CR1","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/384264.379002","volume":"34","author":"A. Chou","year":"2000","unstructured":"Chou, A., Chelf, B., Engler, D., Heinrich, M.: Using meta-level compilation to check FLASH protocol code. ACM SIGOPS Oper. Syst. Rev.\u00a034(5), 59\u201370 (2000)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Engler, D., Chelf, B., Chou, A., Hallem, S.: Checking system rules using system-specific, programmer-written compiler extensions. In: OSDI 2000, pp. 1\u201316 (2000)","DOI":"10.21236\/ADA419626"},{"issue":"5","key":"16_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1145\/502059.502041","volume":"35","author":"D. Engler","year":"2001","unstructured":"Engler, D., Chen, D.Y., Hallem, S., Chou, A., Chelf, B.: Bugs as deviant behavior: A general approach to inferring errors in systems code. ACM SIGOPS Oper. Syst. Rev.\u00a035(5), 57\u201372 (2001)","journal-title":"ACM SIGOPS Oper. Syst. Rev."},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Hallem, S., Chelf, B., Xie, Y., Engler, D.: A system and language for building system-specific, static analyses. In: PLDI 2002, pp. 69\u201382. ACM (2002)","DOI":"10.1145\/512537.512539"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Hovemeyer, D., Pugh, W.: Finding bugs is easy. In: OOPSLA 2004, pp. 132\u2013136. ACM (2004)","DOI":"10.1145\/1028664.1028717"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Shapiro, M., Horwitz, S.: Fast and accurate flow-insensitive points-to analysis. In: POPL 1997, pp. 1\u201314. ACM (1997)","DOI":"10.1145\/263699.263703"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Steensgaard, B.: Points-to analysis in almost linear time. In: POPL 1996, pp. 32\u201341. ACM (1996)","DOI":"10.1145\/237721.237727"},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"Voung, J.W., Jhala, R., Lerner, S.: RELAY: static race detection on millions of lines of code. In: ESEC-FSE 2007, pp. 205\u2013214. ACM (2007)","DOI":"10.1145\/1287624.1287654"},{"key":"16_CR9","unstructured":"CodeSonar, \n                  \n                    http:\/\/www.grammatech.com\/products\/codesonar\/"},{"key":"16_CR10","unstructured":"Coverity, \n                  \n                    http:\/\/www.coverity.com\/products\/"},{"key":"16_CR11","unstructured":"FindBugs, \n                  \n                    http:\/\/findbugs.sourceforge.net\/"},{"key":"16_CR12","unstructured":"Klocwork, \n                  \n                    http:\/\/www.klocwork.com\/products\/"},{"key":"16_CR13","unstructured":"Smatch, \n                  \n                    http:\/\/smatch.sourceforge.net\/"},{"key":"16_CR14","unstructured":"Sparse, \n                  \n                    http:\/\/www.kernel.org\/pub\/software\/devel\/sparse\/"},{"key":"16_CR15","unstructured":"Uno, \n                  \n                    http:\/\/spinroot.com\/uno\/"}],"container-title":["Lecture Notes in Computer Science","Mathematical and Engineering Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25929-6_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T13:45:17Z","timestamp":1556199917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25929-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642259289","9783642259296"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25929-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}