{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T02:57:18Z","timestamp":1730257038151,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/icse-nier55298.2022.9793535","type":"proceedings-article","created":{"date-parts":[[2022,6,13]],"date-time":"2022-06-13T17:06:24Z","timestamp":1655139984000},"page":"76-80","source":"Crossref","is-referenced-by-count":0,"title":["Statistical Reasoning About Programs"],"prefix":"10.1109","author":[{"given":"Marcel","family":"Bohme","sequence":"first","affiliation":[{"name":"Germany Monash University,Max Planck Institute for Security and Privacy,Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Where My Specs At: From the Front to the Back","year":"2021","author":"yang","key":"ref39"},{"article-title":"The Software Heterogeneity Problem, or Why We Didn’t Build on GraphQL","year":"2021","author":"yang","key":"ref38"},{"article-title":"GWP-ASan: Sampling heap memory error detection in-the-wild","year":"2021","author":"tsyrklevich","key":"ref33"},{"key":"ref32","article-title":"Memory Tagging and how it improves C\/C++ memory safety","volume":"44","author":"serebryany","year":"2019","journal-title":"USENIX login"},{"key":"ref31","article-title":"AddressSanitizer: A Fast Address Sanity Checker","author":"serebryany","year":"2012","journal-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference (Boston MA) (USENIX ATC’12)"},{"key":"ref30","first-page":"21","article-title":"On the Sustainability of the Extreme Value Theory for WCET Estimation","volume":"39","author":"santinelli","year":"2014","journal-title":"14th International Workshop on Worst-Case Execution Time Analysis WCET 2014"},{"article-title":"Modeling API Traffic to Catch Breaking Changes","year":"2021","author":"yang","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2885256"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/3469113"},{"key":"ref34","first-page":"65","article-title":"Google-Wide Profiling: A Continuous Profiling Infrastructure for Data Centers","author":"tune","year":"2010","journal-title":"IEEE Micro"},{"year":"2018","key":"ref10","article-title":"FBInfer - Limitations"},{"journal-title":"Laws of Small Numbers Extremes and Rare Events","year":"1994","author":"falk","key":"ref11"},{"key":"ref12","first-page":"39","article-title":"Estimating Species Richness","author":"gotelli","year":"2011","journal-title":"Biological Diversity Frontiers in Measurement and Assessment"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/800230.806987"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"article-title":"PHC (Probabilistic Heap Checker): a port of Chromium’s GWP-ASan project to Firefox","year":"2021","author":"holler","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227168"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665726"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3230627"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186041"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468570"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-53291-8_14"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3210309"},{"journal-title":"Extreme Value Theory in Engineering","year":"1988","author":"castillo","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3188720"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049700"},{"year":"2021","key":"ref8","article-title":"Kernel Electric-Fence (KFENCE)"},{"key":"ref7","first-page":"3","article-title":"Thirty years of progeny from Chao’s inequality: Estimating and comparing richness with incidence data and incomplete sampling","volume":"1","author":"chao","year":"2017","journal-title":"Sort-statistics and Operations Research Transactions"},{"key":"ref2","first-page":"2:1","article-title":"QL: Object-oriented Queries on Relational Data","volume":"56","author":"avgustinov","year":"2016","journal-title":"30th European Conference on Object-Oriented Programming (ECOOP 2016) (Leibniz International Proceedings in Informatics (LIPIcs)"},{"article-title":"Introducing Prodfiler","year":"2021","author":"dullien","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/129712.129746"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00002"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161501"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115639"},{"journal-title":"Cooperative Bug Isolation","year":"2004","author":"liblit","key":"ref23"},{"key":"ref26","article-title":"Crowdsourced bug detection in production: GWP-ASan and beyond","author":"morehouse","year":"2020","journal-title":"Proceedings of the C++ Russia"},{"journal-title":"Foundations of Machine Learning","year":"2018","author":"mohri","key":"ref25"}],"event":{"name":"2022 IEEE\/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)","start":{"date-parts":[[2022,5,22]]},"location":"Pittsburgh, PA, USA","end":{"date-parts":[[2022,5,24]]}},"container-title":["2022 IEEE\/ACM 44th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9793505\/9793506\/09793535.pdf?arnumber=9793535","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,4]],"date-time":"2022-07-04T16:09:21Z","timestamp":1656950961000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9793535\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/icse-nier55298.2022.9793535","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}