{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:35:42Z","timestamp":1729622142239,"version":"3.28.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":18,"title":["Measuring assurance case confidence using Baconian probabilities"],"prefix":"10.1109","author":[{"given":"Charles B.","family":"Weinstock","sequence":"first","affiliation":[]},{"given":"John B.","family":"Goodenough","sequence":"additional","affiliation":[]},{"given":"Ari Z.","family":"Klein","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Conjectures and Refutations The Growth of Scientific Knowledge","year":"1963","author":"popper","key":"19"},{"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"},{"journal-title":"Evidential Foundations of Probabilistic Reasoning","year":"2001","author":"schum","key":"14"},{"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"},{"journal-title":"15026-2 2011 Systems and Software Engineering-Systems and Software Assurance-Part 2 Assurance Case","year":"2011","key":"3"},{"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"},{"journal-title":"Origin Consulting","article-title":"GSN community standard","year":"2011","key":"2"},{"journal-title":"Arguing Safety A Systematic Approach to Safety Case Management","year":"1998","author":"kelly","key":"1"},{"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"},{"journal-title":"Defence Standard-0056 Safety Management Requirements for Defence Systems-Part 2","year":"2007","key":"5"},{"journal-title":"Guidance for Industry and FDA Staff-Total Product Life Cycle Infusion Pump-Premarket Notification [510(k)] Submissions","year":"0","key":"4"},{"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)","start":{"date-parts":[[2013,5,19]]},"location":"San Francisco, CA, USA","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]]}}}