{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T12:10:01Z","timestamp":1756383001683,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T00:00:00Z","timestamp":1658102400000},"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":[[2022,7,18]]},"DOI":"10.1145\/3533767.3543294","type":"proceedings-article","created":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T14:28:50Z","timestamp":1657895330000},"page":"777-780","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation"],"prefix":"10.1145","author":[{"given":"Rafael","family":"Menezes","sequence":"first","affiliation":[{"name":"University of Manchester, UK \/ Federal University of Amazonas, Brazil"}]},{"given":"Daniel","family":"Moura","sequence":"additional","affiliation":[{"name":"Federal University of Amazonas, Brazil"}]},{"given":"Helena","family":"Cavalcante","sequence":"additional","affiliation":[{"name":"Federal University of Amazonas, Brazil"}]},{"given":"Rosiane","family":"de Freitas","sequence":"additional","affiliation":[{"name":"Federal University of Amazonas, Brazil"}]},{"given":"Lucas C.","family":"Cordeiro","sequence":"additional","affiliation":[{"name":"University of Manchester, UK \/ Federal University of Amazonas, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2022,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Algorithms. 2022. TheAlgorithms\/Kotlin (Github repository). https:\/\/github.com\/TheAlgorithms\/Kotlin \t\t\t\t\t  The Algorithms. 2022. TheAlgorithms\/Kotlin (Github repository). https:\/\/github.com\/TheAlgorithms\/Kotlin"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2487568.2487570"},{"key":"e_1_3_2_1_3_1","first-page":"375","article-title":"Progress on software verification: SV-COMP 2022","volume":"13244","author":"Beyer Dirk","year":"2022","unstructured":"Dirk Beyer . 2022 . Progress on software verification: SV-COMP 2022 . In TACAS. 13244 , 375 . Dirk Beyer. 2022. Progress on software verification: SV-COMP 2022. In TACAS. 13244, 375.","journal-title":"TACAS."},{"volume-title":"Handbook of model checking. 10","author":"Clarke Edmund M","key":"e_1_3_2_1_4_1","unstructured":"Edmund M Clarke , Thomas A Henzinger , Helmut Veith , and Roderick Bloem . 2018. Handbook of model checking. 10 , Springer . Edmund M Clarke, Thomas A Henzinger, Helmut Veith, and Roderick Bloem. 2018. Handbook of model checking. 10, Springer."},{"key":"e_1_3_2_1_5_1","volume-title":"JBMC: A bounded model checking tool for verifying Java bytecode. In CAV. 183\u2013190.","author":"Cordeiro Lucas","year":"2018","unstructured":"Lucas Cordeiro , Pascal Kesseli , Daniel Kroening , Peter Schrammel , and Marek Trtik . 2018 . JBMC: A bounded model checking tool for verifying Java bytecode. In CAV. 183\u2013190. Lucas Cordeiro, Pascal Kesseli, Daniel Kroening, Peter Schrammel, and Marek Trtik. 2018. JBMC: A bounded model checking tool for verifying Java bytecode. In CAV. 183\u2013190."},{"key":"e_1_3_2_1_6_1","unstructured":"Kotlin Foundation. 2022. Kotlin Language. https:\/\/kotlinlang.org\/ \t\t\t\t\t  Kotlin Foundation. 2022. Kotlin Language. https:\/\/kotlinlang.org\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-019-09727-4"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17502-3_16"},{"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","first-page":"e1793","article-title":"Model checking C++ programs","volume":"32","author":"Monteiro Felipe R","year":"2022","unstructured":"Felipe R Monteiro , Mikhail R Gadelha , and Lucas C Cordeiro . 2022 . Model checking C++ programs . STVR , 32 , 1 (2022), e1793 . Felipe R Monteiro, Mikhail R Gadelha, and Lucas C Cordeiro. 2022. Model checking C++ programs. STVR, 32, 1 (2022), e1793.","journal-title":"STVR"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Victor Oliveira Leopoldo Teixeira and Felipe Ebert. 2020. On the Adoption of Kotlin on Android Development: A Triangulation Study. In SANER. 206\u2013216. \t\t\t\t\t  Victor Oliveira Leopoldo Teixeira and Felipe Ebert. 2020. On the Adoption of Kotlin on Android Development: A Triangulation Study. In SANER. 206\u2013216.","DOI":"10.1109\/SANER48275.2020.9054859"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"}],"event":{"name":"ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Virtual South Korea","acronym":"ISSTA '22"},"container-title":["Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3543294","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3533767.3543294","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:43:41Z","timestamp":1750272221000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3533767.3543294"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,18]]},"references-count":12,"alternative-id":["10.1145\/3533767.3543294","10.1145\/3533767"],"URL":"https:\/\/doi.org\/10.1145\/3533767.3543294","relation":{},"subject":[],"published":{"date-parts":[[2022,7,18]]},"assertion":[{"value":"2022-07-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}