{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:31:12Z","timestamp":1750221072971,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"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":[[2018,10,26]]},"DOI":"10.1145\/3236024.3264840","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"765-769","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Towards counterexample-guided k-induction for fast bug detection"],"prefix":"10.1145","author":[{"given":"Mikhail R.","family":"Gadelha","sequence":"first","affiliation":[{"name":"University of Southampton, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe R.","family":"Monteiro","sequence":"additional","affiliation":[{"name":"Federal University of Amazonas, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas C.","family":"Cordeiro","sequence":"additional","affiliation":[{"name":"University of Manchester, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis A.","family":"Nicole","sequence":"additional","affiliation":[{"name":"University of Southampton, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54580-5_20"},{"key":"e_1_3_2_1_2_1","unstructured":"Armin Biere. 2009.  Armin Biere. 2009."},{"key":"e_1_3_2_1_3_1","unstructured":"Handbook Of Satisfiability. Vol. 185. IOS Press Chapter 14 455\u2013481.  Handbook Of Satisfiability. Vol. 185. IOS Press Chapter 14 455\u2013481."},{"key":"e_1_3_2_1_4_1","first-page":"193","article-title":"Symbolic Model Checking Without BDDs","volume":"1633","author":"Biere Armin","year":"1999","unstructured":"Armin Biere , Alessandro Cimatti , Edmund Clarke , and Yunshan Zhu . 1999 . Symbolic Model Checking Without BDDs . In TACAS (LNCS) , Vol. 1633. 193 \u2013 207 . Armin Biere, Alessandro Cimatti, Edmund Clarke, and Yunshan Zhu. 1999. Symbolic Model Checking Without BDDs. In TACAS (LNCS), Vol. 1633. 193\u2013207.","journal-title":"TACAS (LNCS)"},{"key":"e_1_3_2_1_5_1","volume-title":"and Quer","author":"Bischoff Gabriel P.","year":"2005","unstructured":"Gabriel P. Bischoff , Karl S. Brace , G. Cabodi , and S. Nocco , S. and Quer . 2005 . Gabriel P. Bischoff, Karl S. Brace, G. Cabodi, and S. Nocco, S.and Quer. 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.06.061"},{"key":"e_1_3_2_1_7_1","first-page":"168","article-title":"A Tool For Checking ANSI-C Programs","volume":"2988","author":"Clarke Edmund","year":"2004","unstructured":"Edmund Clarke , Daniel Kroening , and Flavio Lerda . 2004 . A Tool For Checking ANSI-C Programs . In TACAS (LNCS) , Vol. 2988. 168 \u2013 176 . Edmund Clarke, Daniel Kroening, and Flavio Lerda. 2004. A Tool For Checking ANSI-C Programs. In TACAS (LNCS), Vol. 2988. 168\u2013176.","journal-title":"TACAS (LNCS)"},{"key":"e_1_3_2_1_8_1","unstructured":"Lucas C. Cordeiro Bernd Fischer and Jo\u00e3o Marques-Silva. 2012.  Lucas C. Cordeiro Bernd Fischer and Jo\u00e3o Marques-Silva. 2012."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.59"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663716.2663755"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240481"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0407-9"},{"key":"e_1_3_2_1_13_1","unstructured":"Steve Heath. 2003.  Steve Heath. 2003."},{"key":"e_1_3_2_1_14_1","unstructured":"Embedded Systems Design. Newnes Oxford United Kingdom. 430 pages.  Embedded Systems Design. Newnes Oxford United Kingdom. 430 pages."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Dejan Jovanovi\u0107 and Bruno Dutertre. 2016. Property-directed k-induction. In FMCAD. 85\u201392.   Dejan Jovanovi\u0107 and Bruno Dutertre. 2016. Property-directed k-induction. In FMCAD. 85\u201392.","DOI":"10.1109\/FMCAD.2016.7886665"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032349"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27705-4_12"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.09.005"},{"key":"e_1_3_2_1_19_1","unstructured":"Shaz Qadeer and Jakob Rehof. 2005.  Shaz Qadeer and Jakob Rehof. 2005."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_7"},{"key":"e_1_3_2_1_21_1","unstructured":"Mary Sheeran Satnam Singh and Gunnar St\u00e5lmarck. 2000.  Mary Sheeran Satnam Singh and Gunnar St\u00e5lmarck. 2000."}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264840","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3264840","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:27Z","timestamp":1750208247000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3264840"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":21,"alternative-id":["10.1145\/3236024.3264840","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3264840","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}