{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:09:53Z","timestamp":1750306193637,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T00:00:00Z","timestamp":1472860800000},"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":[[2016,9,3]]},"DOI":"10.1145\/2975961.2975963","type":"proceedings-article","created":{"date-parts":[[2016,8,26]],"date-time":"2016-08-26T12:40:09Z","timestamp":1472215209000},"page":"11-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["By the power of SMT! mining function contracts to better bounded model checking"],"prefix":"10.1145","author":[{"given":"Azat","family":"Abdullin","sequence":"first","affiliation":[{"name":"St. Petersburg Polytechnic University, Russia \/ JetBrains Research, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marat","family":"Akhin","sequence":"additional","affiliation":[{"name":"St. Petersburg Polytechnic University, Russia \/ JetBrains Research, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3103\/S0146411614070025"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837628"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.130"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108792.1108813"},{"key":"e_1_3_2_1_5_1","unstructured":"P. Baudin J. C. Filli\u02c6 atre T. Hubert C. March\u00e9 B. Monate Y. Moy and V. Prevosto. ACSL: ANSI\/ISO C Specification Language. Preliminary Design version 1.4 2008. preliminary edition 2008.  P. Baudin J. C. Filli\u02c6 atre T. Hubert C. March\u00e9 B. Monate Y. Moy and V. Prevosto. ACSL: ANSI\/ISO C Specification Language. Preliminary Design version 1.4 2008. preliminary edition 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568246"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691738"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"C. Calcagno D. Distefano J. Dubreil etal NASA Formal Methods chapter Moving Fast with Software Verification pages 3\u201311. 2015.  C. Calcagno D. Distefano J. Dubreil et al. NASA Formal Methods chapter Moving Fast with Software Verification pages 3\u201311. 2015.","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480917"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2755753.2755769"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503291"},{"key":"e_1_3_2_1_14_1","article-title":"A language for program component specification","volume":"63","author":"Itsykson V.","year":"2010","journal-title":"Scientific Journal of SPBSPU, (3)"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161501"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_14"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250749"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_25"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34188-5_15"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273487"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"}],"event":{"name":"ASE'16: ACM\/IEEE International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"],"location":"Singapore Singapore","acronym":"ASE'16"},"container-title":["Proceedings of the 5th International Workshop on Software Mining"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2975961.2975963","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2975961.2975963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:50:19Z","timestamp":1750218619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2975961.2975963"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,3]]},"references-count":22,"alternative-id":["10.1145\/2975961.2975963","10.1145\/2975961"],"URL":"https:\/\/doi.org\/10.1145\/2975961.2975963","relation":{},"subject":[],"published":{"date-parts":[[2016,9,3]]},"assertion":[{"value":"2016-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}