{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T14:59:19Z","timestamp":1763564359585,"version":"3.37.3"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,7,1]],"date-time":"2024-07-01T00:00:00Z","timestamp":1719792000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key R&D Program of China","doi-asserted-by":"publisher","award":["2022YFB2702200"],"award-info":[{"award-number":["2022YFB2702200"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"NSFC","doi-asserted-by":"publisher","award":["62172019"],"award-info":[{"award-number":["62172019"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-Huawei Populus Grove Fund"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2024,7]]},"DOI":"10.1109\/tse.2024.3392720","type":"journal-article","created":{"date-parts":[[2024,4,23]],"date-time":"2024-04-23T18:45:05Z","timestamp":1713897905000},"page":"1726-1746","source":"Crossref","is-referenced-by-count":4,"title":["Clopper-Pearson Algorithms for Efficient Statistical Model Checking Estimation"],"prefix":"10.1109","volume":"50","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5209-596X","authenticated-orcid":false,"given":"Hao","family":"Bu","sequence":"first","affiliation":[{"name":"School of Mathematical Sciences, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6550-7396","authenticated-orcid":false,"given":"Meng","family":"Sun","sequence":"additional","affiliation":[{"name":"School of Mathematical Sciences, Peking University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Principles of Model Checking","year":"2008","author":"Baier","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.12"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_17"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27813-9_16"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_26"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_18"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2015.04.003"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177731118"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47166-2_6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_33"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/BF02883985"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3310226"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-020-00563-2"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1198\/tast.2010.09140"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.2307\/2331986"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1963.10500830"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1214\/aop\/1176990746"},{"article-title":"Confidence bounds & intervals for parameters relating to the binomial, negative binomial, Poisson and hypergeometric distributions with applications to rare events","year":"2024","author":"Scholz","key":"ref25"},{"year":"2024","key":"ref26","article-title":"PRISM manual"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.24"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177700156"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLA.2013.149"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2006.5"},{"year":"2024","key":"ref32","article-title":"UPPAAL online documentation"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.09.003"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539797315306"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/1390156.1390241"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.004"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_38"},{"year":"2024","key":"ref38","article-title":"Implementation of the SMC estimation algorithms"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-005-0187-8"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10601498\/10507153.pdf?arnumber=10507153","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,19]],"date-time":"2024-07-19T14:01:35Z","timestamp":1721397695000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10507153\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7]]},"references-count":39,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tse.2024.3392720","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2024,7]]}}}