{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:47:20Z","timestamp":1725619640376},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540760702"},{"type":"electronic","value":"9781447109372"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/978-1-4471-0937-2_9","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T11:23:02Z","timestamp":1318245782000},"page":"105-114","source":"Crossref","is-referenced-by-count":1,"title":["Software Reliability Models and Test Coverage"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Ciciani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Pasquini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"IEEE 982.1\u20131988, Standard Dictionary of Measures to Produce Reliable Software."},{"key":"9_CR2","volume-title":"Software Reliability - Measurement, Prediction, Application","author":"JD Musa","year":"1987","unstructured":"Musa J. D., Iannino A., Okumoto K., Software Reliability - Measurement, Prediction, Application, McGraw-Hill, 1987."},{"volume-title":"Prediction and measurement of software reliability, Dependability of Critical Computer Systems 3","year":"1990","key":"9_CR3","unstructured":"Bishop P. (ed.), Prediction and measurement of software reliability, Dependability of Critical Computer Systems 3, Elsevier Science Publ., 1990."},{"key":"9_CR4","volume-title":"The unfeasibility of Experimental Quantification of Life-Critical Software Reliability","author":"RW Butler","year":"1991","unstructured":"Butler R. W., Finelli G. B., The unfeasibility of Experimental Quantification of Life-Critical Software Reliability, Proc. of the ACM SIGSOFT \u201991, New Orleans, Louisiana, ACM Press, 1991."},{"key":"9_CR5","first-page":"95","volume-title":"Reliability Eng. and System Safety","author":"PA Keiller","year":"1991","unstructured":"Keiller P. A., Miller D. R., On the use and the performance of software reliability growth models, Reliability Eng. and System Safety, 95\u2013117, 1991."},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Littlewood B., Strigini L., Validation of ultra-high dependability for software-based systems, Communication of the ACM, Vol. 36, No. 11, Nov. 1993.","DOI":"10.1145\/163359.163373"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Lyu M. R., Nikora A., Applying Reliability Models More Effectively, IEEE Software, Vol. 9, no. 4, July 1992.","DOI":"10.1109\/52.143104"},{"key":"9_CR8","volume-title":"Proc. of the Tenth Software Reliability Symposium, Storage Tek","author":"M Lu","year":"1992","unstructured":"Lu M., Brocklehurst S., Littlewood B., Combination of Predictions Obtained from Different Software Reliability Growth Models, Proc. of the Tenth Software Reliability Symposium, Storage Tek, 1992."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Brocklehurst S., Littlewood B., New Ways to Get Accurate Reliability Measures, IEEE Software, Vol. 9, no. 4, July 1992.","DOI":"10.1109\/52.143100"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Brocklehurst S., Chan P. Y., Littlewood B., Recalibrating Software Reliability Models, IEEE Trans, on Software Eng., Vol. SE-16, no. 4, 1990.","DOI":"10.1109\/32.54297"},{"issue":"2","key":"9_CR11","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1109\/43.205012","volume":"12","author":"WB Jone","year":"1993","unstructured":"Jone W. B., Defect Level Estimation of Circuit Testing Using Sequential Statistical Analysis, IEEE Trans, on Computer Aided Design of Integrated Circuits and Systems, Vol. 12, No. 2, February 1993, pp. 336\u2013348.","journal-title":"IEEE Trans, on Computer Aided Design of Integrated Circuits and Systems"},{"key":"9_CR12","first-page":"503","volume-title":"Computer Performance and Reliability","author":"PS Yu","year":"1988","unstructured":"Yu P. S., Krishna C. M., Lee Y. H., An Adaptive Optimisation Model with Applications to Testing, Computer Performance and Reliability, Iazeolla G., Courtois P. J., Boxma O. J. (ed.), Elsevier Science Publishers, 1988, pp. 503\u2013515."},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1109\/12.2171","volume":"37","author":"PS Yu","year":"1988","unstructured":"Yu P. S., Krishna C. M., Lee Y. H., Optimal Design and Sequential Testing of VLSI Testing Strategy, IEEE Trans. on Computer, Vol. 37, No. 3, March 1988, pp. 339\u2013347.","journal-title":"IEEE Trans. on Computer"},{"key":"9_CR14","volume-title":"Optimal Statistical Decisions","author":"MH Grood De","year":"1970","unstructured":"De Grood M. H., Optimal Statistical Decisions, McGraw-Hill, 1970."},{"key":"9_CR15","volume-title":"Sequential Methods in Pattern Recognition and Machine Learning","author":"KS Fu","year":"1968","unstructured":"Fu K. S., Sequential Methods in Pattern Recognition and Machine Learning, Academic, New York, 1968."},{"key":"9_CR16","first-page":"119","volume-title":"Reliability Engineering and System Safety","author":"MA Hennell","year":"1991","unstructured":"Hennell M. A., Testing for the Achievement of Software Reliability, Reliability Engineering and System Safety, Vol. 32, pp. 119\u2013134, 1991."},{"key":"9_CR17","volume-title":"Proc. of the ISSRE \u201991","author":"JC Munson","year":"1991","unstructured":"Munson J. C., Khoshgoftaar T. M., The Use of Software Complexity Metrics in Software Reliability Modelling, Proc. of the ISSRE \u201991, IEEE Computer Society, 1991."},{"key":"9_CR18","first-page":"3","volume-title":"Software Testing, Verification and Reliability","author":"A Veevers","year":"1994","unstructured":"Veevers A., Marshall A. C., A Relationship Between Software Coverage Metrics and Reliability, Software Testing, Verification and Reliability, Vol. 4, 3\u20138, 1994."},{"key":"9_CR19","volume-title":"Proc. of the ISSRE \u201992","author":"R Jacoby","year":"1992","unstructured":"Jacoby R., Masuzawa K., Test Coverage Dependent Software Reliability Estimation by the HGD Model, Proc. of the ISSRE \u201992, IEEE Computer Society, 1992."},{"key":"9_CR20","volume-title":"On the Correlation between Code Coverage and Software Reliability","author":"F Frate Del","year":"1995","unstructured":"Del Frate F., Garg P., Mathur A. P., Pasquini A., On the Correlation between Code Coverage and Software Reliability, Proc. of the ISSRE \u201995, IEEE Computer Society, 1995."},{"key":"9_CR21","volume-title":"Coverage Measurement Experience During Function Test","author":"P Piwowarski","year":"1993","unstructured":"Piwowarski P., Ohba M., Caruso J., Coverage Measurement Experience During Function Test, Proc. of the ICSE \u201993, IEEE Computer Society, 1993."},{"key":"9_CR22","volume-title":"The Relationship between Test Coverage and Reliability","author":"YK Malaiya","year":"1994","unstructured":"Malaiya Y. K., Li N., Bieman J., Karcich R., Skibbe B., The Relationship between Test Coverage and Reliability, Proc. of the ISSRE \u201994, IEEE Computer Society, 1994."},{"key":"9_CR23","volume-title":"A time\/structure based model for estimating software reliability","author":"M Chen","year":"1992","unstructured":"Chen M., Horgan J., Mathur A. P., Rego V., A time\/structure based model for estimating software reliability, SERC-TR-117-P, Purdue University, Dec. 1992."},{"key":"9_CR24","volume-title":"Microelectronics and Reliability","author":"E Nelson","year":"1978","unstructured":"Nelson E., Estimating Software Reliability from Test Data, Microelectronics and Reliability, Vol. 17, Pergamon Press, New York, 1978."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Musa J. D., Operational Profiles in Software Reliability Engineering, IEEE Software, Vol. 10, no. 2, March 1993.","DOI":"10.1109\/52.199724"},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Horgan J. R., Mathur A. P., Assessing Tools in Research and Education, IEEE Software, May 192, pp.61\u201369.","DOI":"10.1109\/52.136170"}],"container-title":["Safe Comp 96"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-0937-2_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T00:44:01Z","timestamp":1605660241000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-0937-2_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540760702","9781447109372"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-0937-2_9","relation":{},"subject":[],"published":{"date-parts":[[1997]]}}}