{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T03:24:18Z","timestamp":1768965858291,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"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":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577829","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"1695-1697","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["BlueCov: Integrating Test Coverage and Model Checking with JBMC"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1002-6023","authenticated-orcid":false,"given":"Matthias","family":"G\u00fcdemann","sequence":"first","affiliation":[{"name":"University of Applied Sciences Munich HM, Munich, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5713-1381","authenticated-orcid":false,"given":"Peter","family":"Schrammel","sequence":"additional","affiliation":[{"name":"University of Sussex, Brighton, United Kingdom"},{"name":"Diffblue Ltd., Oxford, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17502-3_9"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393664"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2014.40"},{"key":"e_1_3_2_1_4_1","volume-title":"Trtik","author":"Cordeiro L.","year":"2018","unstructured":"Cordeiro , L. , Kesseli , P. , Kroening , D. , Schrammel , P. , Trtik , M. : JBMC: A bounded model checking tool for verifying Java bytecode. In : CAV. Springer ( 2018 ) Cordeiro, L., Kesseli, P., Kroening, D., Schrammel, P., Trtik, M.: JBMC: A bounded model checking tool for verifying Java bytecode. In: CAV. Springer (2018)"},{"issue":"4","key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/3282517.3282529","volume":"03739","author":"Cordeiro L.C.","year":"2018","unstructured":"Cordeiro , L.C. , Kroening , D. , Schrammel , P. : Benchmarking of Java verification tools at the Software Verification Competition (SV-COMP). ACM SIGSOFT Softw. Eng. Notes abs\/1809 . 03739 ( 4 ), 56 ( 2018 ), http:\/\/arxiv.org\/abs\/1809.03739 Cordeiro, L.C., Kroening, D., Schrammel, P.: Benchmarking of Java verification tools at the Software Verification Competition (SV-COMP). ACM SIGSOFT Softw. Eng. Notes abs\/1809.03739(4), 56 (2018), http:\/\/arxiv.org\/abs\/1809.03739","journal-title":"Softw. Eng. Notes abs\/1809"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17502-3_17"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2212.14779"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-93900-9_15"},{"key":"e_1_3_2_1_9_1","unstructured":"JaCoCo: Java code coverage https:\/\/www.jacoco.org\/jacoco\/ JaCoCo: Java code coverage https:\/\/www.jacoco.org\/jacoco\/"},{"key":"e_1_3_2_1_10_1","first-page":"389","volume-title":"Tautschnig","author":"Kroening D.","year":"2014","unstructured":"Kroening , D. , Tautschnig , M. : CBMC - C bounded model checker. In : TACAS. pp. 389 -- 391 . Springer ( 2014 ) Kroening, D., Tautschnig, M.: CBMC - C bounded model checker. In: TACAS. pp. 389--391. Springer (2014)"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40648-0_5"},{"key":"e_1_3_2_1_12_1","first-page":"1","volume-title":"FMCAD 2020","author":"Schrammel P.","year":"2020","unstructured":"Schrammel , P. : How testable is business software? In: 2020 Formal Methods in Computer Aided Design , FMCAD 2020 , Haifa, Israel , September 21-24, 2020 . p. 1 . IEEE (2020), https:\/\/arxiv.org\/abs\/2011.00630 Schrammel, P.: How testable is business software? In: 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020. p. 1. IEEE (2020), https:\/\/arxiv.org\/abs\/2011.00630"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41707-8_9"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0358-6"}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","location":"Tallinn Estonia","acronym":"SAC '23","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577829","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:30Z","timestamp":1750183710000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577829"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":14,"alternative-id":["10.1145\/3555776.3577829","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577829","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}