{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,3,7]],"date-time":"2023-03-07T11:57:25Z","timestamp":1678190245964},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,11,23]],"date-time":"2015-11-23T00:00:00Z","timestamp":1448236800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s10664-015-9412-6","type":"journal-article","created":{"date-parts":[[2015,11,22]],"date-time":"2015-11-22T21:25:47Z","timestamp":1448227547000},"page":"2413-2455","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["An automated software reliability prediction system for safety critical software"],"prefix":"10.1007","volume":"21","author":[{"given":"Xiang","family":"Li","sequence":"first","affiliation":[]},{"given":"Chetan","family":"Mutha","sequence":"additional","affiliation":[]},{"given":"Carol S.","family":"Smidts","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,23]]},"reference":[{"key":"9412_CR1","volume-title":"IEEE Standard Glossary of Software Engineering Terminology, IEEE Std.610.12-1990","author":"IEEE","year":"1990","unstructured":"IEEE (1990) IEEE Standard Glossary of Software Engineering Terminology, IEEE Std.610.12-1990. IEEE, New York"},{"key":"9412_CR2","unstructured":"ISO\/IEC (2001) ISO\/IEC 9126-1: 2001, Software Engineering \u2013 Product Quality \u2013 Part 1: Quality model"},{"issue":"3","key":"9412_CR3","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1109\/TSE.1975.6312856","volume":"1","author":"Musa J","year":"1975","unstructured":"Musa J (1975) A theory of software reliability and its application. IEEE Trans Softw Eng 1(3):312\u2013327","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"9412_CR4","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/j.jss.2004.04.024","volume":"76","author":"Huang C","year":"2005","unstructured":"Huang C (2005) Performance analysis of software reliability growth models with testing-effort and change-point. J Syst Softw 76(2):181\u2013194","journal-title":"J Syst Softw"},{"issue":"2","key":"9412_CR5","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1109\/TR.2007.895301","volume":"56","author":"Huang C","year":"2007","unstructured":"Huang C, Kuo S, et al. (2007) An assessment of testing-effort dependent software reliability growth models. IEEE Trans Reliab 56(2):198\u2013211","journal-title":"IEEE Trans Reliab"},{"key":"9412_CR6","unstructured":"Mills H (1972) On the statistical validation of computer programs. IBM Federal Systems Division Report:72\u20136015"},{"key":"9412_CR7","doi-asserted-by":"crossref","unstructured":"Walia G, Carver J (2008) The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models. In: Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on, pp. 305-306","DOI":"10.1109\/ISSRE.2008.61"},{"key":"9412_CR8","unstructured":"Li M, Smidts C (2003) A ranking of software engineering measures based on expert opinion, vol 29, pp. 24\u2013811"},{"key":"9412_CR9","doi-asserted-by":"crossref","unstructured":"Pham H (2007) System software reliability. Springer","DOI":"10.1007\/1-84628-295-0"},{"key":"9412_CR10","unstructured":"Smidts C, Huang F, et al. (2015) A Method for Quantifying the Dependability Attributes of Software-Based Safety Critical Instrumentation Control Systems in Nuclear Power Plants. In: Proc. NPIC-HMIT 2015"},{"issue":"3","key":"9412_CR11","doi-asserted-by":"crossref","first-page":"114","DOI":"10.3923\/jse.2013.114.120","volume":"7","author":"F Huang","year":"2013","unstructured":"Huang F, Liu B (2013) Study on the correlations between program metrics and defect rate by a controlled experiment. Int J Softw Eng 7(3):114\u2013120","journal-title":"Int J Softw Eng"},{"key":"9412_CR12","doi-asserted-by":"crossref","unstructured":"Huang F, Liu B, et al. (2015) The impact of software process consistency on residual defects. Journal of Software Evolution and Process","DOI":"10.1002\/smr.1717"},{"key":"9412_CR13","unstructured":"Smidts C, Li M (2004) Validation of A Methodology for Assessing Software Quality. NUREG\/CR-6848, Office of Nuclear Regulatory Research, Washington DC"},{"key":"9412_CR14","unstructured":"Smidts C, Li M, et al. (2010) A Large Scale Validation of a Methodology for Assessing Software Reliability. NUREG\/CR-7042, Office of Nuclear Regulatory Research, Washington DC"},{"key":"9412_CR15","unstructured":"Li X, Gupta J, et al. (2013) ARPS: An Automated Reliability Prediction System Tool for Safety Critical Software, PSA 2013, Columbia, South Carolina, September 22-27"},{"key":"9412_CR16","doi-asserted-by":"crossref","unstructured":"Wang CJ, Liu MT (1993) Generating Test Cases for EFSM with Given Fault Models. In: Proceedings of 12th IEEE Computer and Communications Societies","DOI":"10.1109\/INFCOM.1993.253292"},{"key":"9412_CR17","doi-asserted-by":"crossref","unstructured":"Voas J (1992) PIE: A Dynamic Failure-Based Technique. IEEE Trans Softw Eng 18(8)","DOI":"10.1109\/32.153381"},{"key":"9412_CR18","unstructured":"Lyu M (1996) Handbook of software reliability engineering. Vol. 222. IEEE computer society press, CA"},{"key":"9412_CR19","doi-asserted-by":"crossref","unstructured":"Smidts C, Li B, et al. (2002) Software Reliability Models, vol 2, 2nd ed. Wiley, New York, pp. 1594\u20131610","DOI":"10.1002\/0471028959.sof328"},{"key":"9412_CR20","doi-asserted-by":"crossref","unstructured":"Pandey A, Goyal N (2013) Early Software Reliability Prediction. Springer","DOI":"10.1007\/978-81-322-1176-1"},{"key":"9412_CR21","doi-asserted-by":"crossref","unstructured":"Cheung L, Roshandel R, et al. (2008) Early prediction of software component reliability. In: Proceedings of the 30th international conference on Software engineering, pp. 111\u2013120","DOI":"10.1145\/1368088.1368104"},{"key":"9412_CR22","unstructured":"Gaffney G, Pietrolewiez J (1990) An automated model for software early error prediction (SWEEP). In: Proceeding of 13th Minnow Brook Workshop on Software Reliability"},{"issue":"5","key":"9412_CR23","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1109\/32.815326","volume":"25","author":"N Fenton","year":"1999","unstructured":"Fenton N, Neil M (1999) A critique of software defect prediction models. IEEE Trans Softw Eng 25(5):675\u2013689","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"9412_CR24","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1016\/j.ress.2005.11.037","volume":"92","author":"H Langseth","year":"2007","unstructured":"Langseth H, Portinale L (2007) Bayesian networks in reliability. Reliab Eng Syst Saf 92(1):92\u2013108","journal-title":"Reliab Eng Syst Saf"},{"issue":"4","key":"9412_CR25","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1109\/TR.2006.884587","volume":"55","author":"S Gokhale","year":"2006","unstructured":"Gokhale S, Trivedi K (2006) Analytical models for architecture-based software reliability prediction: a unification framework. IEEE Trans Reliab 55(4):578\u2013590","journal-title":"IEEE Trans Reliab"},{"key":"9412_CR27","doi-asserted-by":"crossref","unstructured":"Lyu M, Nikora A (1992) CASRE: a computer-aided software reliability estimation tool. In: Computer-Aided Software Engineering, 1992. Proceedings., Fifth International Workshop on, pp. 264-275","DOI":"10.1109\/CASE.1992.200165"},{"issue":"1","key":"9412_CR28","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0166-5316(99)00057-7","volume":"39","author":"S Ramani","year":"2000","unstructured":"Ramani S, Gokhale S, et al. (2000) SREPT: software reliability estimation and prediction tool. Perform Eval 39(1):37\u201360","journal-title":"Perform Eval"},{"key":"9412_CR29","doi-asserted-by":"crossref","unstructured":"Chen C, Lin C, et al. (2006) CARATS: a computer-aided reliability assessment tool for software based on object-oriented design. In: TENCON 2006. 2006 IEEE Region 10 Conference, pp. 1-4","DOI":"10.1109\/TENCON.2006.344182"},{"key":"9412_CR30","doi-asserted-by":"crossref","unstructured":"Wang W, Scannell D (2005) An architecture-based software reliability modeling tool and its support for teaching. In: Frontiers in Education, 2005. FIE\u201905. Proceedings 35th Annual Conference, pp. T4C-T4C","DOI":"10.1109\/FIE.2005.1611965"},{"issue":"1","key":"9412_CR31","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/TR.2005.859228","volume":"55","author":"H Boudali","year":"2006","unstructured":"Boudali H, Dugan J (2006) A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Trans Reliab 55(1):86\u201397","journal-title":"IEEE Trans Reliab"},{"key":"9412_CR32","unstructured":"IEEE Computer Society (1998) Software Engineering Standards Committee, and IEEE-SA Standards Board. IEEE Recommended Practice for Software Requirements Specifications. IEEE Std 830 -1998, Institute of Electrical and Electronics Engineers"},{"key":"9412_CR33","unstructured":"Musa J, Lannino A, et al. (1987) Software Reliability-Measurement, Prediction, Applications. McGraw-Hill, New York"},{"issue":"2","key":"9412_CR34","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/52.199724","volume":"10","author":"J Musa","year":"1993","unstructured":"Musa J (1993) Operational profiles in software-reliability engineering. Software, IEEE 10(2):14\u201332","journal-title":"Software, IEEE"},{"key":"9412_CR35","unstructured":"Lam M, Sethi R, et al. (2006) Compilers: Principles, Techniques, and Tools"},{"key":"9412_CR36","unstructured":"Wolfram (2014) Equation solving. http:\/\/reference.wolfram.com\/language\/guide\/EquationSolving.html. [Retrieved: 2014-10-14]"},{"key":"9412_CR37","unstructured":"Mathworks (2014) Solve equations and inequalities. http:\/\/www.mathworks.com\/help\/symbolic\/mupad_ref\/solve.html. [Retrieved: 2014-10-14]"},{"key":"9412_CR38","unstructured":"IEEE Computer Society (1998). Software & System Engineering Standards Committee, IEEE Standard for Information Technology\u2014Systems Design\u2014Software Design Descriptions IEEE Std 1016-1998, Institute of Electrical and Electronics Engineers"},{"key":"9412_CR39","unstructured":"Booch G, Rumbaugh J, et al. (2005) Unified Modeling Language User Guide, the 2nd Edition. Addison-Wesley"},{"issue":"Part C","key":"9412_CR40","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1016\/j.scico.2014.03.004","volume":"89","author":"F Huang","year":"2014","unstructured":"Huang F, Liu B, et al. (2014) The links between human error diversity and software diversity: Implications for fault diversity seeking. Science of Computer Programming 89(Part C):350\u2013373","journal-title":"Science of Computer Programming"},{"key":"9412_CR41","unstructured":"Chambers J, Cleveland W, et al. (1983) Graphical Methods for Data Analysis. Wadsworth"},{"key":"9412_CR42","unstructured":"Siegel S (1956) Non-parametric statistics for the behavioral sciences, New York: McGraw-Hill, pp. 75\u201383"},{"key":"9412_CR43","unstructured":"Mendenhall W, Wackerly D, et al. (1989) 15: Nonparametric statistics, Fourth ed. PWS-Kent, pp. 674\u2013679"},{"key":"9412_CR44","doi-asserted-by":"crossref","unstructured":"Dixon W (1953) Power functions of the sign test and power efficiency for normal alternatives. Ann Math Stat:467\u2013473","DOI":"10.1214\/aoms\/1177728986"},{"key":"9412_CR45","doi-asserted-by":"crossref","unstructured":"Li B, Li M, et al. (2005) Integrating software into PRA: A software-related failure mode taxonomy. Risk Anal 26(4)","DOI":"10.1111\/j.1539-6924.2006.00795.x"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-015-9412-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-015-9412-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-015-9412-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-015-9412-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T16:00:39Z","timestamp":1567353639000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-015-9412-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,23]]},"references-count":44,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["9412"],"URL":"https:\/\/doi.org\/10.1007\/s10664-015-9412-6","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11,23]]}}}