{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T13:40:03Z","timestamp":1739367603101,"version":"3.37.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/dsn.2009.5270354","type":"proceedings-article","created":{"date-parts":[[2009,9,30]],"date-time":"2009-09-30T18:41:36Z","timestamp":1254336096000},"page":"43-52","source":"Crossref","is-referenced-by-count":32,"title":["WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code"],"prefix":"10.1109","author":[{"given":"Julia L.","family":"Lawall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Brunel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Palix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rene Rydhof","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Stuart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1007\/978-3-540-31980-1_30","article-title":"mining temporal specifications for error detection","volume":"3440","author":"weimer","year":"2005","journal-title":"Lecture Notes in Computer Science"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.63"},{"journal-title":"Hunting bugs with Coccinelle","year":"2008","author":"stuart","key":"12"},{"key":"3","first-page":"1","article-title":"checking system rules using system-specific, programmer-written compiler extensions","author":"engler","year":"2000","journal-title":"OSDI"},{"key":"2","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/1480881.1480897","article-title":"a foundation for flow-based program matching using temporal logic and model checking","author":"brunel","year":"2009","journal-title":"36th Principles of Programming Languages (POPL)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217942"},{"journal-title":"The Linux kernel mailing list","year":"0","author":"lkml","key":"7"},{"key":"6","first-page":"306","article-title":"pr-miner: automatically extracting implicit programming rules and detecting violations in large software code","author":"li","year":"2005","journal-title":"10th European Software Engineering Conference"},{"key":"5","first-page":"161","article-title":"from uncertainty to belief: inferring the specification within","author":"kremenek","year":"2006","journal-title":"OSDI"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/502039.502041"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1352592.1352618"},{"journal-title":"Comparing and Merging Files With Gnu Diff and Patch","year":"2003","author":"mackenzie","key":"8"}],"event":{"name":"Networks (DSN)","start":{"date-parts":[[2009,6,29]]},"location":"Lisbon, Portugal","end":{"date-parts":[[2009,7,2]]}},"container-title":["2009 IEEE\/IFIP International Conference on Dependable Systems & Networks"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5243642\/5270274\/05270354.pdf?arnumber=5270354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T13:19:57Z","timestamp":1739366397000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5270354\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/dsn.2009.5270354","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}