{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T23:57:13Z","timestamp":1648684633472},"reference-count":150,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2010,9,1]],"date-time":"2010-09-01T00:00:00Z","timestamp":1283299200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/tr.2010.2052190","type":"journal-article","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T19:25:36Z","timestamp":1279740336000},"page":"449-482","source":"Crossref","is-referenced-by-count":2,"title":["IEEE Reliability Society Technical Operations Annual Technical Report for 2010"],"prefix":"10.1109","volume":"59","author":[{"given":"Norm","family":"Schneidewind","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Montrose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alec","family":"Feinberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arbi","family":"Ghazarian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"McLinn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Hansen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Laplante","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nihal","family":"Sinnadurai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Zio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rick","family":"Linger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Wong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shiuhpyng","family":"Shieh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Childs","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","year":"2004","journal-title":"Living with Risk A Global Review of Disaster Reduction Initiatives"},{"key":"ref38","year":"0","journal-title":"St Cloud Bridge Potential Failure"},{"key":"ref33","year":"0","journal-title":"Silver Bridge Failure"},{"key":"ref32","author":"vose","year":"1887","journal-title":"Bridge Disasters in America The Cause and the Remedy"},{"key":"ref31","author":"whittaker","year":"2009","journal-title":"Exploratory Software Testing Tips Tricks Tours and Techniques to Guide Test Design"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MIM.2004.1383464"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0887-3828(2003)17:3(144)"},{"key":"ref36","year":"0","journal-title":"Eastern Span Replacement of the San Francisco Oakland Bay Bridge"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)0733-9445(1999)125:10(1118)"},{"key":"ref34","year":"0","journal-title":"I-35W Missis-sippi River bridge"},{"key":"ref28","year":"0","journal-title":"The Key to the Cloud"},{"key":"ref27","author":"vijayan","year":"2008","journal-title":"Yet Another Laptop Theft Agilent Warns 51 000 Workers of Potential Data Compromise"},{"key":"ref29","first-page":"253","author":"bach","year":"2004","journal-title":"The Testing Practitioner"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1557\/mrs2008.80"},{"key":"ref22","author":"hachman","year":"2008","journal-title":"Intel Details Plans for Laptop Anti-Theft Technology"},{"key":"ref21","author":"boyce","year":"2007","journal-title":"Microsoft Office Outlook 2007 Inside Out"},{"key":"ref24","author":"mackenzie","year":"2009","journal-title":"The Time Trap"},{"key":"ref23","author":"hachman","year":"2009","journal-title":"Lost Notebooks Cost Corporations $50 K Apiece"},{"key":"ref101","year":"2006","journal-title":"Overview of the DART Mishap Investigation Results"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.142"},{"key":"ref100","year":"0","journal-title":"Mars Polar Lander"},{"key":"ref25","author":"menon","year":"2008","journal-title":"Mobile internet device (MID) and chip market opportunities Strategies & insight into the emerging class of mobile Internet\/multimedia devices"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.06.009"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1111\/j.1539-6924.2005.00595.x"},{"key":"ref150","author":"kletz","year":"1993","journal-title":"Lessons From DisasterHow Organizations Have No Memory and Accidents Recur"},{"key":"ref146","doi-asserted-by":"publisher","DOI":"10.1145\/1378533.1378538"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1145\/1631716.1631722"},{"key":"ref148","author":"garcia","year":"2009","journal-title":"Federal Investigators Now Reviewing Corporate Records as Part of Disney World Monorail Probe"},{"key":"ref149","author":"garcia","year":"2009","journal-title":"Monorail Guide Warned of Hazard When Trains Backed up Without a Spotter"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539308002939"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1016\/j.epsr.2005.05.013"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1504\/IJCIS.2008.016099"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1063\/1.2150162"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1038\/35065725"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1038\/35019019"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijepes.2007.06.013"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03552-4_16"},{"key":"ref40","author":"white","year":"1974","journal-title":"Natural Hazards Local National Global"},{"key":"ref4","year":"0","journal-title":"American National Standard Recommended Practice for Electromagnetic Compatibility Limits"},{"key":"ref3","year":"0","journal-title":"Smart Grid-Cite Note-Anderson-25"},{"key":"ref6","year":"2001","journal-title":"Design for Reliability"},{"key":"ref5","author":"feinberg","year":"2009","journal-title":"The Truth of the Modern RecessionRoot Causes and Reliable Solutions"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2007.16"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1232285"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.jhazmat.2005.07.042"},{"key":"ref9","first-page":"156","article-title":"a case study of defect introduction mechanisms","volume":"5565","author":"ghazarian","year":"2009","journal-title":"Proc 21st CAiSE"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.082090499"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2009.31"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.06.009"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1017\/S0269964805050023"},{"key":"ref42","first-page":"59","article-title":"Simulating network robustness for critical infrastructures","author":"dekker","year":"2005","journal-title":"Proc 28th Australasian Comput Sci Conf"},{"key":"ref41","author":"bouchon","year":"2006","journal-title":"The vulnerability of interdependent critical infrastructures systems Epistemological and conceptual state-of-the art"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.aap.2004.02.004"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.ress.2009.07.004","article-title":"Comparing risk of failure models in water supply networks using ROC curves","volume":"95","author":"debn","year":"2010","journal-title":"Reliab Eng Syst Saf"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101966"},{"key":"ref126","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085134"},{"key":"ref125","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"ref124","first-page":"273","article-title":"automated fault localization using potential invariants","author":"pytlik","year":"2003","journal-title":"Proc 5th Int Workshop Autom Algorithmic Debugging"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/59.260930"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1109\/ICNSC.2005.1461200"},{"key":"ref129","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"ref71","article-title":"Reliability analysis of electric power systems using an object-oriented hybrid modeling approach","author":"schlpfer","year":"2008","journal-title":"Proc 16th Power Syst Comput Conf"},{"key":"ref128","first-page":"45","article-title":"taming coincidental correctness: refine code coverage with context pattern to improve fault localization","author":"wang","year":"2009","journal-title":"Proc 11th Int Conf Software Eng"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10702-7"},{"key":"ref76","author":"allison","year":"1986","journal-title":"Cambridge Computer Science Texts"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.09.037"},{"key":"ref77","author":"smullyan","year":"1993","journal-title":"Oxford Logic Guides"},{"key":"ref74","author":"marsegurra","year":"2002","journal-title":"Basics of the Monte Carlo Method with Application to System Reliability"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2007.403"},{"key":"ref133","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.15"},{"key":"ref134","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2008.65"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.06.045"},{"key":"ref78","author":"prowell","year":"1999","journal-title":"Cleanroom Software Engineering Technology and Practice"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400900426X"},{"key":"ref79","author":"mills","year":"2002","journal-title":"Encyclopedia of Software Engineering"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"key":"ref135","first-page":"746","article-title":"model-based debugging or how to diagnose programs automatically","author":"wotawa","year":"2002","journal-title":"Proc 15th Int Conf Ind Eng Appl Artif Intell Expert Syst Developments Appl Artif Intell"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1145\/1085130.1085135"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134324"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1038\/30918"},{"key":"ref139","first-page":"26","article-title":"statistical debugging: simultaneous isolation of multiple bugs","author":"zheng","year":"2006","journal-title":"Proc 23rd Int Conf Mach Learn"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.10.011"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2008.5"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.71.015103"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.66.065102"},{"key":"ref140","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653720"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.93.098701"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.1145\/1455770.1455779"},{"key":"ref66","author":"zio","year":"2009","journal-title":"Safety Reliability and Risk Analysis Theory Methods and Applications"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1145\/1655148.1655150"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1080\/106307301753430764"},{"key":"ref143","first-page":"151","article-title":"cccp: complete calling context profiling in virtual execution environments","author":"moret","year":"2009","journal-title":"Proc ACM SIGPLAN PEPM"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1016\/j.strusafe.2008.06.007"},{"key":"ref144","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2007.45"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2009.5179088"},{"key":"ref69","author":"johansson","year":"2009","journal-title":"Safety Reliability and Risk Analysis Theory Methods and Applications"},{"key":"ref145","first-page":"180","article-title":"ttanalyze: a tool for analyzing malware","author":"bayer","year":"2006","journal-title":"Proc 15th EICAR Annu Conf"},{"key":"ref1","year":"0","journal-title":"Smart Grid"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230603"},{"key":"ref95","author":"krebs","year":"2008","journal-title":"Cyber Incident Blamed for Nuclear Power Plant Shutdown"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"ref94","author":"krause","year":"2003","journal-title":"Aircraft Safety Accident Investigations Analyses and Applications"},{"key":"ref107","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2001.963364"},{"key":"ref93","year":"2000","journal-title":"Report on the Loss of the Mars Polar Lander and Deep Space 2 Missions"},{"key":"ref92","year":"0","journal-title":"Great Northeast Power Blackout of 2003"},{"key":"ref106","article-title":"titan iv b-32\/centaur\/milstar report","year":"0","journal-title":"USAF Accident Investigation Board"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2004.1265121"},{"key":"ref105","year":"1998","journal-title":"SOHO mission interruption joint NASA\/ESA investigation board Final Report"},{"key":"ref90","year":"0","journal-title":"FDA Statement on Radiation Overexposures in Panama"},{"key":"ref104","author":"schmitt","year":"1991","journal-title":"Army is blaming Patriot's computer for failure to stop Dhahran scud"},{"key":"ref103","year":"0","journal-title":"Report Mars Climate Orbiter Mission Failure Investigation Board"},{"key":"ref102","year":"0","journal-title":"Official Guam Crash Site Information Web Center"},{"key":"ref111","first-page":"137","article-title":"using machine learning to support debugging with tarantula","author":"briand","year":"2007","journal-title":"Proc 18th IEEE Int Symp Softw Rel"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78137-0_20"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/LATW.2009.4813783"},{"key":"ref98","author":"nakao","year":"1995","journal-title":"Crash of American Airlines Boeing"},{"key":"ref99","year":"1997","journal-title":"Abstract on Korean Air Flight 801 Conclusions Probable Cause and Safety Recommendations"},{"key":"ref96","article-title":"Is software really the weak link in dependable computing?","author":"lann","year":"2002","journal-title":"Proc 41st IFIP WG 10 4 MeetingWorkshop Challenges and Directions for Dependable Computing"},{"key":"ref97","year":"2004","journal-title":"FAA to Probe Radio Failure"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CSMR.2009.12"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/222124.222136"},{"key":"ref12","first-page":"11","article-title":"lessons learned from implementing requirements traceability","volume":"8","author":"ramesh","year":"1995","journal-title":"Crosstalk"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1996.494539"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.1996.494574"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566875"},{"key":"ref118","first-page":"15","article-title":"Scalable statistical bug isolation","author":"liblit","year":"2005","journal-title":"Proc ACM SIGPLAN Conf Programming Language Design and Implementation"},{"key":"ref82","first-page":"41","article-title":"Introducing function extraction into software testing","volume":"39","author":"linger","year":"2008","journal-title":"ACM SIGMISData Base Adv Inf Syst Special Issue Softw Syst Testing"},{"key":"ref16","year":"0","journal-title":"List of power out-ages"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2004.1265704"},{"key":"ref17","article-title":"Cyber war: Sabotaging the system","year":"0"},{"key":"ref84","author":"walton","year":"2006","journal-title":"Technology foundations for computational evaluation of security attributes"},{"key":"ref18","article-title":"many theories on root of strong hurricanes","author":"davidson","year":"0","journal-title":"San Francisco Chronicle"},{"key":"ref119","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.105"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-2929"},{"key":"ref19","author":"gray","year":"0","journal-title":"New England Weather"},{"key":"ref114","first-page":"528","article-title":"lightweight defect localization for java","author":"dallmeier","year":"2005","journal-title":"Proceedings of European Conference of Object-Oriented Programming"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2005.1553577"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273468"},{"key":"ref80","author":"collins","year":"2005","journal-title":"The CERT function extraction experiment Quantifying FX impact on software comprehension and verification"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101948"},{"key":"ref120","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181782"},{"key":"ref89","year":"0","journal-title":"Clear Skies in Georgia"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611972757.26"},{"key":"ref122","first-page":"877","article-title":"automatic program bug location by program slicing","author":"lyle","year":"1987","journal-title":"Proc 2nd Int Conf Comput Appl"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201224"},{"key":"ref85","year":"0","journal-title":"Air France Flight 447"},{"key":"ref86","article-title":"ariane 501 inquiry board","year":"1996","journal-title":"ARIANE 5 flight 501 failure"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1590\/S1020-49892006000800014"},{"key":"ref88","year":"2006","journal-title":"TSA Computer Glitch Led to Atlanta Airport Scare"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/24\/5559603\/05510015.pdf?arnumber=5510015","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:45:31Z","timestamp":1633913131000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5510015\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":150,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tr.2010.2052190","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}