{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:30:57Z","timestamp":1783096257335,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,6,4]],"date-time":"2011-06-04T00:00:00Z","timestamp":1307145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,6,4]]},"DOI":"10.1145\/1993498.1993550","type":"proceedings-article","created":{"date-parts":[[2011,6,6]],"date-time":"2011-06-06T07:53:52Z","timestamp":1307346832000},"page":"437-446","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":96,"title":["Cause clue clauses"],"prefix":"10.1145","author":[{"given":"Manu","family":"Jose","sequence":"first","affiliation":[{"name":"University of California, Los Angeles, Los Angeles, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems & University of California, Los Angeles, Kaiserslautern, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2011,6,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604140"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309942"},{"key":"e_1_3_2_1_3_1","first-page":"209","volume-title":"OSDI '08: Operating Systems Design and Implementation","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . Klee : unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI '08: Operating Systems Design and Implementation , pages 209 -- 224 , 2008 . USENIX Association. Cristian Cadar, Daniel Dunbar, and Dawson Engler. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI '08: Operating Systems Design and Implementation, pages 209--224, 2008. USENIX Association."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1531542.1531621"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"TACAS '04: Tools and Algorithms for the Construction and Analysis of Systems","author":"Clarke Edmund","year":"2004","unstructured":"Edmund Clarke , Daniel Kroening , and Flavio Lerda . A tool for checking ANSI-C programs . In TACAS '04: Tools and Algorithms for the Construction and Analysis of Systems , volume 2988 of Lecture Notes in Computer Science , pages 168 -- 176 , 2004 . Springer . Edmund Clarke, Daniel Kroening, and Flavio Lerda. A tool for checking ANSI-C programs. In TACAS '04: Tools and Algorithms for the Construction and Analysis of Systems, volume 2988 of Lecture Notes in Computer Science, pages 168--176, 2004. Springer."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/321033.321034"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-005-3861-2"},{"key":"e_1_3_2_1_9_1","volume-title":"SAT-Race","author":"E\u00e9n Niklas","year":"2006","unstructured":"Niklas E\u00e9n and Niklas S\u00f6rensson . Minisat v2.0 (beta) . In SAT-Race , 2006 . http:\/\/fmv.jku.at\/sat-race-2006\/. Niklas E\u00e9n and Niklas S\u00f6rensson. Minisat v2.0 (beta). In SAT-Race, 2006. http:\/\/fmv.jku.at\/sat-race-2006\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_25"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.032"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0202-0"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/257734.257766"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_16_1","series-title":"Frontiers in Artificial Intelligence and Applications","first-page":"613","volume-title":"Handbook of Satisfiability","author":"Li Chu Min","year":"2009","unstructured":"Chu Min Li and Felip Many\u00e0 . MaxSAT , hard and soft constraints . In Handbook of Satisfiability , volume 185 of Frontiers in Artificial Intelligence and Applications , chapter 19, pages 613 -- 631 . IOS Press , 2009 . Chu Min Li and Felip Many\u00e0. MaxSAT, hard and soft constraints. In Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, chapter 19, pages 613--631. IOS Press, 2009."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622637.1622646"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11499107_13"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2010.11"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403474"},{"key":"e_1_3_2_1_21_1","first-page":"175","volume-title":"USENIX Annual Technical Conference","author":"Todd","year":"1999","unstructured":"Todd C. Miller and Theo de Raadt. strlcpy and strlcat: consistent, safe, string copy and concatenation . In USENIX Annual Technical Conference , pages 175 -- 178 , 1999 . USENIX Association. Todd C. Miller and Theo de Raadt. strlcpy and strlcat: consistent, safe, string copy and concatenation. In USENIX Annual Technical Conference, pages 175--178, 1999. USENIX Association."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595704"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1333874.1334159"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240298"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065045"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_58"},{"key":"e_1_3_2_1_30_1","first-page":"121","article-title":"A survey of program slicing techniques","volume":"3","author":"Tip F.","year":"1995","unstructured":"F. Tip . A survey of program slicing techniques . Journal of Programming Languages , 3 : 121 -- 189 , 1995 . F. Tip. A survey of program slicing techniques. Journal of Programming Languages, 3:121--189, 1995.","journal-title":"Journal of Programming Languages"},{"key":"e_1_3_2_1_31_1","volume-title":"Off-by-one error, the free encyclopedia","year":"2004","unstructured":"Wikipedia. Off-by-one error, the free encyclopedia , 2004 . {Online; accessed 28-March-2010}. Wikipedia. Off-by-one error, the free encyclopedia, 2004. {Online; accessed 28-March-2010}."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040334"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587053"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"PLDI '11: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"San Jose California USA","acronym":"PLDI '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993498.1993550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1993498.1993550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:04Z","timestamp":1750230004000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1993498.1993550"}},"subtitle":["error localization using maximum satisfiability"],"short-title":[],"issued":{"date-parts":[[2011,6,4]]},"references-count":34,"alternative-id":["10.1145\/1993498.1993550","10.1145\/1993498"],"URL":"https:\/\/doi.org\/10.1145\/1993498.1993550","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1993316.1993550","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,6,4]]},"assertion":[{"value":"2011-06-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}