{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:29:31Z","timestamp":1729621771989,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issre.2015.7381807","type":"proceedings-article","created":{"date-parts":[[2016,1,14]],"date-time":"2016-01-14T23:50:11Z","timestamp":1452815411000},"page":"130-140","source":"Crossref","is-referenced-by-count":6,"title":["Conservative claims about the probability of perfection of software-based systems"],"prefix":"10.1109","author":[{"given":"Xingyu","family":"Zhao","sequence":"first","affiliation":[]},{"given":"Bev","family":"Littlewood","sequence":"additional","affiliation":[]},{"given":"Andrey","family":"Povyakalo","sequence":"additional","affiliation":[]},{"given":"David","family":"Wright","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TSE.2013.35"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/32.637384"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-642-40793-2_10"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TSE.2010.67"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/TSE.2007.1002"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/SEFM.2009.39"},{"year":"1992","journal-title":"HMSO","article-title":"The tolerability of risk from nuclear power stations","key":"ref16"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<155::AID-STVR163>3.0.CO;2-B"},{"key":"ref18","first-page":"811","article-title":"A Ranking of Software Engineering Measures Based on Expert Opinion","volume":"29","author":"li","year":"2000","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref19","article-title":"Software Engineering Measures for Predicting Software Reliability in Safety Critical Digital Systems","author":"smidts","year":"2000","journal-title":"NUREG\/GR-0019"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/384192.384195"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/163359.163373","article-title":"Validation of ultra-high dependability for software-based systems","volume":"36","author":"littlewood","year":"1993","journal-title":"CACM"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TSE.1986.6312924"},{"year":"2013","journal-title":"Seattle Aviation Safety Boeing Commercial Airplanes","article-title":"Statistical Summary of Commercial Airplane Accidents, Worldwide Operations, 1959-2013","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/32.58771"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/32.83905"},{"year":"2013","journal-title":"Health and Safety Executive","article-title":"GDA Step 4 and Close-out for Control and Instrumentation Assessment of the EDF and AREVA UK EPR Reactor","key":"ref2"},{"year":"1985","journal-title":"AC 25 1309-1A","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TSE.2011.80"},{"key":"ref20","first-page":"2121","article-title":"The Thoery of Software Reliability Corroboration","volume":"e86 d","author":"cukic","year":"2003","journal-title":"IEICE Transactions on Information and Systems"}],"event":{"name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersbury, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7374093\/7381793\/07381807.pdf?arnumber=7381807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T23:46:35Z","timestamp":1498261595000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7381807\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/issre.2015.7381807","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}