{"id":"https://openalex.org/W2214567334","doi":"https://doi.org/10.1109/issre.2015.7381807","title":"Conservative claims about the probability of perfection of software-based systems","display_name":"Conservative claims about the probability of perfection of software-based systems","publication_year":2015,"publication_date":"2015-11-01","ids":{"openalex":"https://openalex.org/W2214567334","doi":"https://doi.org/10.1109/issre.2015.7381807","mag":"2214567334"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2015.7381807","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2015.7381807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100635681","display_name":"Xingyu Zhao","orcid":"https://orcid.org/0000-0002-3474-349X"},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142"]},{"id":"https://openalex.org/I4210119464","display_name":"Quality and Reliability (Greece)","ror":"https://ror.org/02f8mda22","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210119464"]}],"countries":["GB","GR"],"is_corresponding":true,"raw_author_name":"Xingyu Zhao","raw_affiliation_strings":["Centre for Software Reliability, City University, London, U.K"],"affiliations":[{"raw_affiliation_string":"Centre for Software Reliability, City University, London, U.K","institution_ids":["https://openalex.org/I4210119464","https://openalex.org/I180825142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016113538","display_name":"Bev Littlewood","orcid":null},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142"]},{"id":"https://openalex.org/I4210119464","display_name":"Quality and Reliability (Greece)","ror":"https://ror.org/02f8mda22","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210119464"]}],"countries":["GB","GR"],"is_corresponding":false,"raw_author_name":"Bev Littlewood","raw_affiliation_strings":["Centre for Software Reliability, City University, London, U.K"],"affiliations":[{"raw_affiliation_string":"Centre for Software Reliability, City University, London, U.K","institution_ids":["https://openalex.org/I4210119464","https://openalex.org/I180825142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073991638","display_name":"Andrey Povyakalo","orcid":"https://orcid.org/0000-0002-4068-422X"},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142"]},{"id":"https://openalex.org/I4210119464","display_name":"Quality and Reliability (Greece)","ror":"https://ror.org/02f8mda22","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210119464"]}],"countries":["GB","GR"],"is_corresponding":false,"raw_author_name":"Andrey Povyakalo","raw_affiliation_strings":["Centre for Software Reliability, City University, London, U.K"],"affiliations":[{"raw_affiliation_string":"Centre for Software Reliability, City University, London, U.K","institution_ids":["https://openalex.org/I4210119464","https://openalex.org/I180825142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078385281","display_name":"David Wright","orcid":"https://orcid.org/0000-0002-8155-4704"},"institutions":[{"id":"https://openalex.org/I180825142","display_name":"City, University of London","ror":"https://ror.org/04489at23","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I180825142"]},{"id":"https://openalex.org/I4210119464","display_name":"Quality and Reliability (Greece)","ror":"https://ror.org/02f8mda22","country_code":"GR","type":"company","lineage":["https://openalex.org/I4210119464"]}],"countries":["GB","GR"],"is_corresponding":false,"raw_author_name":"David Wright","raw_affiliation_strings":["Centre for Software Reliability, City University, London, U.K"],"affiliations":[{"raw_affiliation_string":"Centre for Software Reliability, City University, London, U.K","institution_ids":["https://openalex.org/I4210119464","https://openalex.org/I180825142"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100635681"],"corresponding_institution_ids":["https://openalex.org/I180825142","https://openalex.org/I4210119464"],"apc_list":null,"apc_paid":null,"fwci":1.6681,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.8537037,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"29","issue":null,"first_page":"130","last_page":"140"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/perfection","display_name":"Perfection","score":0.8519717454910278},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6701667904853821},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.579024076461792},{"id":"https://openalex.org/keywords/bayesian-probability","display_name":"Bayesian probability","score":0.5651180744171143},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5624130964279175},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.5599673986434937},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48649948835372925},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.477370947599411},{"id":"https://openalex.org/keywords/prior-probability","display_name":"Prior probability","score":0.43414193391799927},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4334738850593567},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4214808940887451},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.33462363481521606},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3191377520561218},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28486013412475586},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2172570824623108},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.12227311730384827},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10059419274330139},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06929656863212585}],"concepts":[{"id":"https://openalex.org/C2437467","wikidata":"https://www.wikidata.org/wiki/Q378701","display_name":"Perfection","level":2,"score":0.8519717454910278},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6701667904853821},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.579024076461792},{"id":"https://openalex.org/C107673813","wikidata":"https://www.wikidata.org/wiki/Q812534","display_name":"Bayesian probability","level":2,"score":0.5651180744171143},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5624130964279175},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.5599673986434937},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48649948835372925},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.477370947599411},{"id":"https://openalex.org/C177769412","wikidata":"https://www.wikidata.org/wiki/Q278090","display_name":"Prior probability","level":3,"score":0.43414193391799927},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4334738850593567},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4214808940887451},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.33462363481521606},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3191377520561218},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28486013412475586},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2172570824623108},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.12227311730384827},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10059419274330139},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06929656863212585},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/issre.2015.7381807","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2015.7381807","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE)","raw_type":"proceedings-article"},{"id":"pmh:oai:openaccess.city.ac.uk:12803","is_oa":false,"landing_page_url":"https://openaccess.city.ac.uk/view/creators_id/bev=2Elittlewood=2E1.html>,","pdf_url":null,"source":{"id":"https://openalex.org/S4306401940","display_name":"City Research Online (City University London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I180825142","host_organization_name":"City, University of London","host_organization_lineage":["https://openalex.org/I180825142"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"PeerReviewed"},{"id":"pmh:oai:wrap.warwick.ac.uk:181982","is_oa":false,"landing_page_url":"https://wrap.warwick.ac.uk/181982/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400665","display_name":"Warwick Research Archive Portal (University of Warwick)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39555362","host_organization_name":"University of Warwick","host_organization_lineage":["https://openalex.org/I39555362"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Item"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1916488832","https://openalex.org/W1971991620","https://openalex.org/W1981060754","https://openalex.org/W1981076960","https://openalex.org/W2001567088","https://openalex.org/W2010146056","https://openalex.org/W2038710499","https://openalex.org/W2111453601","https://openalex.org/W2119127526","https://openalex.org/W2129262519","https://openalex.org/W2132901515","https://openalex.org/W2144280492","https://openalex.org/W2144361182","https://openalex.org/W2147247028","https://openalex.org/W2325871214","https://openalex.org/W6679785191"],"related_works":["https://openalex.org/W3026970341","https://openalex.org/W2562263695","https://openalex.org/W2015518264","https://openalex.org/W2135187896","https://openalex.org/W2147201983","https://openalex.org/W2795035211","https://openalex.org/W2160108762","https://openalex.org/W1718066205","https://openalex.org/W2009776842","https://openalex.org/W1935138604"],"abstract_inverted_index":{"In":[0],"recent":[1],"years":[2],"we":[3,30,82,179,210,236,245,276,317,328,360],"have":[4,237,353,361],"become":[5],"interested":[6],"in":[7,40,58,121,139,193,213,238,259,310,348],"the":[8,12,33,74,90,93,101,114,137,140,143,150,173,197,207,214,220,234,249,255,262,265,300,305,322,326,334,339,358],"problem":[9,95,174,340,359],"of":[10,14,16,35,63,79,85,89,96,103,136,190,217,251,264,281,294,308,325,341],"assessing":[11],"probability":[13,62,78,102,307],"perfection":[15,80,122,309],"software-based":[17],"systems":[18],"which":[19],"are":[20,25,133,228],"sufficiently":[21],"simple":[22],"that":[23,32,50,142,152,212,227,254,261,283,299,333],"they":[24],"\"possibly":[26],"perfect\".":[27],"By":[28],"\"perfection\"":[29],"mean":[31],"software":[34],"interest":[36,56],"will":[37,154],"never":[38,47],"fail":[39],"a":[41,124,165,186,194,349],"specific":[42],"operating":[43],"environment.":[44],"We":[45,148,288,330],"can":[46,199],"be":[48,155,231],"certain":[49],"it":[51,153,271],"is":[52,67,71,145,267],"perfect,":[53],"so":[54],"our":[55,69],"lies":[57],"claims":[59,320],"for":[60,157,168,304,321],"its":[61],"perfection.":[64],"Our":[65,170],"approach":[66,171,336],"Bayesian:":[68],"aim":[70],"to":[72,76,116,128,160,172,224,230,241,247,273,338,357],"model":[73],"changes":[75],"this":[77,295,311],"as":[81,123,164],"see":[83],"evidence":[84],"failure-free":[86],"working.":[87],"Much":[88],"paper":[91],"considers":[92],"difficult":[94],"expressing":[97,342],"prior":[98,119,252,346],"beliefs":[99,163,205],"about":[100,206],"failure":[104],"on":[105],"demand":[106],"(pfd),":[107],"and":[108,126,278,297,343],"representing":[109],"these":[110,162],"mathematically.":[111],"This":[112],"requires":[113],"assessor":[115,159,198,256],"state":[117,129],"his":[118,191],"belief":[120,347],"probability,":[125],"also":[127,331],"what":[130],"he":[131,183],"believes":[132],"likely":[134],"values":[135,302],"pfd":[138],"event":[141],"system":[144],"not":[146],"perfect.":[147],"take":[149],"view":[151],"impractical":[156],"an":[158],"express":[161,200],"complete":[166],"distribution":[167],"pfd.":[169],"has":[175,272],"three":[176],"threads.":[177],"Firstly":[178],"assume":[180,211],"that,":[181],"although":[182],"cannot":[184],"provide":[185,225],"full":[187],"probabilistic":[188],"description":[189],"uncertainty":[192],"single":[195],"distribution,":[196],"some":[201,290],"precise":[202],"but":[203],"partial":[204],"unknowns.":[208],"Secondly,":[209],"inevitable":[215],"presence":[216],"such":[218],"incompleteness,":[219],"Bayesian":[221,350],"analysis":[222,351],"needs":[223],"results":[226,266],"guaranteed":[229],"conservative":[232],"(because":[233],"analyses":[235],"mind":[239],"relate":[240],"critical":[242],"systems).":[243],"Finally,":[244],"seek":[246],"prune":[248],"set":[250],"distributions":[253],"finds":[257],"acceptable":[258],"order":[260],"conservatism":[263],"no":[268,319],"greater":[269],"than":[270,356],"be,":[274],"i.e.":[275],"propose,":[277],"eliminate,":[279],"sets":[280],"priors":[282],"would":[284],"appear":[285],"generally":[286],"unreasonable.":[287],"give":[289],"illustrative":[291],"numerical":[292,301],"examples":[293],"approach,":[296],"note":[298,332],"obtained":[303],"posterior":[306],"way":[312],"seem":[313],"potentially":[314],"useful":[315],"(although":[316],"make":[318],"practical":[323],"realism":[324],"numbers":[327],"use).":[329],"general":[335],"here":[337],"using":[344],"limited":[345],"may":[352],"wider":[354],"applicability":[355],"addressed.":[362]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}