{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T12:35:28Z","timestamp":1779366928232,"version":"3.53.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/assure.2013.6614264","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:32:14Z","timestamp":1380753134000},"page":"7-11","source":"Crossref","is-referenced-by-count":19,"title":["Measuring assurance case confidence using Baconian probabilities"],"prefix":"10.1109","author":[{"given":"Charles B.","family":"Weinstock","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John B.","family":"Goodenough","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ari Z.","family":"Klein","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","author":"popper","year":"1963","journal-title":"Conjectures and Refutations The Growth of Scientific Knowledge"},{"key":"17","article-title":"An introduction to the philosophy of induction and probability","author":"cohen","year":"1989","journal-title":"ClarendonPress"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010257"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511814273.025"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1080\/19462160903564592"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606668"},{"key":"14","author":"schum","year":"2001","journal-title":"Evidential Foundations of Probabilistic Reasoning"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.1002"},{"key":"12","doi-asserted-by":"crossref","DOI":"10.21236\/ADA609836","author":"goodenough","year":"2012","journal-title":"Toward A Theory of Assurance Case Confidence"},{"key":"21","article-title":"Case study: Learning to embrace failure","author":"limoncelli","year":"2012","journal-title":"ACM Queue"},{"key":"3","year":"2011","journal-title":"15026-2 2011 Systems and Software Engineering-Systems and Software Assurance-Part 2 Assurance Case"},{"key":"20","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1007\/10722167_15","article-title":"Counterexample guided abstraction refinement","author":"clarke","year":"2000","journal-title":"Conf on Computer-Aided Verification"},{"key":"2","article-title":"GSN community standard","year":"2011","journal-title":"Origin Consulting"},{"key":"1","author":"kelly","year":"1998","journal-title":"Arguing Safety A Systematic Approach to Safety Case Management"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.29"},{"key":"7","article-title":"Elaborating the concept of evidence in safety cases","author":"sun","year":"2013","journal-title":"Assuring the Safety of Systems Proceedings of the Twenty-First Safety-Critical Systems Symposium"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-133-2_1"},{"key":"5","year":"2007","journal-title":"Defence Standard-0056 Safety Management Requirements for Defence Systems-Part 2"},{"key":"4","year":"0","journal-title":"Guidance for Industry and FDA Staff-Total Product Life Cycle Infusion Pump-Premarket Notification [510(k)] Submissions"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2003.1209913"},{"key":"8","first-page":"206","article-title":"Software certification: Is there a case against safety cases","volume":"6662","author":"wassyng","year":"2011","journal-title":"Monterey Workshops 2010 Lecture Notes in Computer Science"}],"event":{"name":"2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,19]]},"end":{"date-parts":[[2013,5,19]]}},"container-title":["2013 1st International Workshop on Assurance Cases for Software-Intensive Systems (ASSURE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596099\/6614259\/06614264.pdf?arnumber=6614264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,28]],"date-time":"2019-07-28T16:13:10Z","timestamp":1564330390000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6614264\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/assure.2013.6614264","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}