{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T13:40:28Z","timestamp":1684071628141},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2007,10,23]],"date-time":"2007-10-23T00:00:00Z","timestamp":1193097600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2008,4]]},"DOI":"10.1007\/s10664-007-9055-3","type":"journal-article","created":{"date-parts":[[2007,10,22]],"date-time":"2007-10-22T07:08:39Z","timestamp":1193036919000},"page":"185-209","source":"Crossref","is-referenced-by-count":10,"title":["A binomial software reliability model based on coverage of structural testing criteria"],"prefix":"10.1007","volume":"13","author":[{"given":"Adalberto Nobiato","family":"Crespo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Jino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Pasquini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Carlos","family":"Maldonado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2007,10,23]]},"reference":[{"key":"9055_CR1","unstructured":"Adams EN (1980) Minimizing Cost Impact of Software Defects, IBM Research Division, Report RC 8228(35669)"},{"key":"9055_CR2","first-page":"321","volume-title":"Reliability Theory","author":"FB Bastani","year":"1986","unstructured":"Bastani FB, Ramamoorthy CV (1986) Input-domain-based Models for Estimating the Correctness of Process Control Programs. In Serra A, Barlow RE (eds), Reliability Theory. North Holland, Amsterdam, pp 321\u2013378"},{"key":"9055_CR3","volume-title":"Software testing techniques","author":"B Beizer","year":"1990","unstructured":"Beizer B (1990) Software testing techniques, 2nd ed. Van Nostrand Rheinhold, New York","edition":"2"},{"key":"9055_CR4","unstructured":"Bishop P (ed.) (1990) Prediction and measurement of software reliability, dependability of critical computer systems 3. Elsevier, London"},{"key":"9055_CR5","doi-asserted-by":"crossref","unstructured":"Butler RW, Finelli GB (1991) The Unfeasibility of Experimental Quantification of Life-critical Software Reliability. Proceedings of the ACM SIGSOFT \u201891 Conference on Software for Critical Systems, ACM Press, pp 66\u201376","DOI":"10.1145\/125083.123054"},{"key":"9055_CR6","unstructured":"Chaim ML (1991) Uma Ferramenta para Suporte ao Teste Estrutural de Programas Baseado em An\u00e1lise de Fluxo de Dados. Master Thesis. DCA\/FEE\/UNICAMP-Campinas, SP-Brazil (in Portuguese)"},{"key":"9055_CR7","unstructured":"Chen M (1994) Tools and Techniques for Testing Based Software Reliability Estimation. PhD Dissertation. Purdue University, West Lafayette\u2013Indiana"},{"issue":"1","key":"9055_CR8","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1109\/24.376528","volume":"44","author":"M Chen","year":"1995","unstructured":"Chen M, Mathur AP, Rego VJ (1995) Effect of testing technique on software reliability estimates obtained using a time-domain model. IEEE Trans Reliab 44(1):97\u2013103","journal-title":"IEEE Trans Reliab"},{"key":"9055_CR9","doi-asserted-by":"crossref","unstructured":"Chen M, Lyu MR, Wong WE (1996) An empirical study of the correlation between code coverage and reliability estimation. Proceedings of the Third International Software Metrics Symposium, Berlin, Germany","DOI":"10.1109\/METRIC.1996.492450"},{"key":"9055_CR10","unstructured":"Chen M, Lyu MR, Wong WE (1997) Incorporating code coverage in the reliability estimation for fault-tolerant software, Proceedings of the Symposium on Reliable Distributed Systems, Durham, NC"},{"issue":"2","key":"9055_CR11","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/24.963124","volume":"50","author":"M Chen","year":"2001","unstructured":"Chen M, Lyu MR, Wong WE (2001) Effect od code coverage on software reliability measurement. IEEE Trans Reliab 50(2):165\u2013170","journal-title":"IEEE Trans Reliab"},{"key":"9055_CR12","unstructured":"Crespo AN (1997) Modelos de Confiabilidade de Software Baseados em Cobertura de Crit\u00e9rios Estruturais de Teste. Tese de Doutorado, DCA\/FEEC\/UNICAMP\u2014Campinas, SP, Brazil (in Portuguese)"},{"key":"9055_CR13","doi-asserted-by":"crossref","unstructured":"Crespo AN, Matrella P, Pasquini A (1996) Sensitivity of reliability growth models to operational profile errors. Proceedings, The Seventh International Symposium on Software Reliability Engineering, White Plains, New York, pp 35\u201344","DOI":"10.1109\/ISSRE.1996.558688"},{"key":"9055_CR14","doi-asserted-by":"crossref","unstructured":"Crespo AN, Jino M, Pasquini A, Maldonado JC (1997) Cobertura dos Crit\u00e9rios Potenciais-usos e Confiabilidade do Software. Anais do XI Simp\u00f3sio Brasileiro de Engenharia de Software\u2014Fortaleza, Cear\u00e1-Brazil (in Portuguese)","DOI":"10.5753\/sbes.1997.24060"},{"key":"9055_CR15","unstructured":"Farr WH, Smith OD (1993) Statistical Modeling and Estimation of Reliability Functions for Software (SMERFS) User\u2019s Guide, Naval Surface Warfare Center, Virginia"},{"issue":"10","key":"9055_CR16","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","volume":"SE-14","author":"PG Frankl","year":"1988","unstructured":"Frankl PG, Weyuker EJ (1988) An applicable family of data flow testing criteria. IEEE Trans Softw Eng SE-14(10):1483\u20131498","journal-title":"IEEE Trans Softw Eng"},{"key":"9055_CR17","unstructured":"Frate FD, Garg P, Mathur AP, Pasquini A (1995a) Experiments to Investigate the Correlation Between Code Coverage and Software Reliability. Software Engineering Research Center, Purdue University, West Lafayette, Indiana, SERC-TR-162-P"},{"key":"9055_CR18","doi-asserted-by":"crossref","unstructured":"Frate FD, Garg P, Mathur AP, Pasquini A (1995b) On the correlation between code coverage and software reliability. Proceedings of The Sixth International Symposium on Software Reliability Engineering, Toulouse, France, pp 124\u2013132","DOI":"10.1109\/ISSRE.1995.497650"},{"key":"9055_CR19","unstructured":"Garg P (1994) Investigating coverage\u2014reliability relationship and sensitivity of reliability to errors in operational profile. Department of Computer Sciences, Purdue University, West Lafayette, Indiana, Technical Report"},{"key":"9055_CR20","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1109\/TR.1979.5220566","volume":"28","author":"AL Goel","year":"1979","unstructured":"Goel AL, Okumoto K (1979) A time dependent error detection rate model for software reliability and other performance measures. IEEE Trans Reliab 28:206\u2013211","journal-title":"IEEE Trans Reliab"},{"key":"9055_CR21","doi-asserted-by":"crossref","unstructured":"Gokhale SS, Philip T, Marinos PN, Trivedi KS (1996) Unification of finite failure non-homogeneous Poisson process models through test coverage. Proceedings of The Seventh International Symposium on Software Reliability Engineering, White Plains, NY, USA, pp 289\u2013299","DOI":"10.1109\/ISSRE.1996.558886"},{"key":"9055_CR22","doi-asserted-by":"crossref","unstructured":"Grottke M (2002) A vector markov model for structural coverage growth and the number of failure occurrences, Proceedings of the 13th International Symposium on Software Reliability Engineering\u2014ISSRE","DOI":"10.1109\/ISSRE.2002.1173276"},{"key":"9055_CR23","doi-asserted-by":"crossref","unstructured":"Hamlet D (1992) Are we testing for True Reliability, IEEE Softw 9(4)","DOI":"10.1109\/52.143097"},{"key":"9055_CR24","unstructured":"Horgan JR, Mathur AP, Pasquini A, Rego VJ (1995) Perils of software reliability modeling, Technical Report SERC-TR-160-P, Purdue University"},{"key":"9055_CR25","unstructured":"Hudson A (1967) Program errors as a birth and death process. Systems Development Corporation, Santa Monica, CA, Technical Report SP-3011"},{"key":"9055_CR26","unstructured":"ISO\/IEC (1991) ISO\/IEC 9126\u2014Information technology\u2014Software product evaluation\u2014quality characteristics and guidelines for their use. ISO\/IEC, International Standard"},{"key":"9055_CR27","doi-asserted-by":"crossref","unstructured":"Jalote P, Muralidhara YR (1994) A coverage based model for software reliability estimation. Proceedings of the First International Conference on Software Testing, Reliability and Quality Assurance, New Delhi, \u00cdndia, pp 6\u201310","DOI":"10.1109\/STRQA.1994.526377"},{"key":"9055_CR28","doi-asserted-by":"crossref","unstructured":"Jelinski Z, Moranda PB (1972) Software reliability research. Proceedings of the Statistical Methods for the Evaluation of Computer System Performance Academic Press pp 465\u2013484","DOI":"10.1016\/B978-0-12-266950-7.50028-1"},{"key":"9055_CR29","unstructured":"Krishnamurthy S, Mathur AP (1996) On predicting reliability of modules using code coverage. Proceedings of the Conference of the Centre for Advanced Studies on Collaborative Research, Toronto, Canada, pp 1\u201312"},{"key":"9055_CR30","doi-asserted-by":"crossref","unstructured":"Li M, Wei Y, Desovski D, Nejad H, Ghose S, Cukic B, Smidts C (2004) Validation of a methodology for assessing software reliability. Proceedings of the 15th International Symposium on Software Reliability Engineering, Saint-Malo, France, pp 66\u201376","DOI":"10.1109\/ISSRE.2004.47"},{"key":"9055_CR31","doi-asserted-by":"crossref","unstructured":"Littlewood B, Strigini L (1993) Validation of ultrahigh dependability for software-based systems. Communications of the ACM 36(1)","DOI":"10.1145\/163359.163373"},{"key":"9055_CR32","volume-title":"Handbook of software reliability engineering","author":"MR Lyu","year":"1996","unstructured":"Lyu MR (1996) Handbook of software reliability engineering. McGraw-Hill, New York"},{"key":"9055_CR33","doi-asserted-by":"crossref","unstructured":"Malaiya YK, Li N, Bieman J, Karcich R, Skibbe B (1994) The relationship between test coverage and reliability. Proceedings of the Fifth International Symposium on Software Reliability Engineering, Monterey, CA, pp 186\u2013195","DOI":"10.1109\/ISSRE.1994.341373"},{"key":"9055_CR34","unstructured":"Malaiya YK, Li N, Bieman J, Karcich R, Skibbe B (1996) Software test coverage and reliability, technical report CS-96-128, Colorado State University"},{"issue":"4","key":"9055_CR35","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1109\/TR.2002.804489","volume":"51","author":"YK Malaiya","year":"2002","unstructured":"Malaiya YK, Li N, Bieman J, Karcich R (2002) Software reliability growth with test coverage. IEEE Trans Reliab 51(4):420\u2013426","journal-title":"IEEE Trans Reliab"},{"key":"9055_CR36","unstructured":"Maldonado JC, Chaim ML, Jino M (1992a) Bridging the gap in the presence of infeasible paths: Potential uses testing criteria. XII International Conference of the SCCC, Sociedad Chilena de Ciencia de la Computacion, Santiago, Chile, pp 323\u2013340"},{"key":"9055_CR37","unstructured":"Maldonado JC, Chaim ML, Jino M (1992b) Using the essencial branch concept to support data-flow based testing criteria application. Fifth International Conference on Software Engineering and Its Applications; Toulouse, France, pp 613\u2013623"},{"key":"9055_CR38","volume-title":"Introduction to the theory of statistics","author":"A Mood","year":"1974","unstructured":"Mood A, Graybill F, Boes D (1974) Introduction to the theory of statistics, 3d ed. McGraw-Hill, New York","edition":"3"},{"key":"9055_CR39","volume-title":"Software reliability engineering","author":"JD Musa","year":"1999","unstructured":"Musa JD (1999) Software reliability engineering. McGraw-Hill, New York"},{"key":"9055_CR40","volume-title":"Software reliability\u2014measurement, prediction, application","author":"JD Musa","year":"1987","unstructured":"Musa JD, Ianino A, Okumoto K (1987) Software reliability\u2014measurement, prediction, application. McGraw-Hill, New York"},{"key":"9055_CR41","volume-title":"The art of software testing","author":"GJ Myers","year":"1979","unstructured":"Myers GJ (1979) The art of software testing. Wiley, New York"},{"issue":"1","key":"9055_CR42","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0026-2714(78)91139-3","volume":"17","author":"F Nelson","year":"1978","unstructured":"Nelson F (1978) Estimating software reliability from test data. Microelectron Reliab 17(1):67\u201373","journal-title":"Microelectron Reliab"},{"key":"9055_CR43","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1016\/S0377-2217(02)00181-9","volume":"145","author":"H Pham","year":"2003","unstructured":"Pham H, Zhang X (2003) NHPP Software reliability and cost models with testing coverage. Eur J Oper Res 145:443\u2013454","journal-title":"Eur J Oper Res"},{"key":"9055_CR44","unstructured":"Pressman RS (2001) Software engineering\u2014a practitioner\u2019s approach, 5th ed. McGraw-Hill"},{"key":"9055_CR45","unstructured":"Ramsey J, Basili VR (1985) Analyzing the test process using structural coverage. Proceedings of the ICSE, pp 306\u2013312"},{"issue":"4","key":"9055_CR46","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"SE-11","author":"S Rapps","year":"1985","unstructured":"Rapps S, Weyuker EJ (1985) Selecting software test data using data flow information. IEEE Trans Softw Eng SE-11(4):367\u2013375","journal-title":"IEEE Trans Softw Eng"},{"key":"9055_CR47","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1016\/B978-0-12-266950-7.50029-3","volume-title":"Statistical computer performance evaluation","author":"ML Shooman","year":"1972","unstructured":"Shooman ML (1972) Probabilistic models for software reliability prediction. In Freiberg W (ed), Statistical computer performance evaluation. New York, Academic Press, pp 485\u2013502"},{"key":"9055_CR48","unstructured":"Siegel S (1956) Nonparametric Statistics for the Behavioral Sciences. McGraw Hill Kogakusha"},{"key":"9055_CR49","doi-asserted-by":"crossref","unstructured":"Varadan GS (1995) Trends in reliability and test strategies. IEEE Softw 10","DOI":"10.1109\/52.382175"},{"key":"9055_CR50","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.4370040103","volume":"4","author":"A Veevers","year":"1994","unstructured":"Veevers A, Marshall A (1994) A relationship between software coverage metrics and reliability. Softw Test Verif Reliab 4:3\u20138","journal-title":"Softw Test Verif Reliab"},{"key":"9055_CR51","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.4370030103","volume":"3","author":"M Xie","year":"1993","unstructured":"Xie M (1993) Software reliability models\u2014a selected annotated bibliography. Softw Test Verif Reliab 3:3\u201328","journal-title":"Softw Test Verif Reliab"},{"key":"9055_CR52","unstructured":"Ye R, Malaiya YK (2002) Relationship between test effectiveness and coverage. Proceedings of the 13th International Symposium on Software Reliability Engineering\u2014ISSRE"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-007-9055-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-007-9055-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-007-9055-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,14]],"date-time":"2023-05-14T13:16:53Z","timestamp":1684070213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-007-9055-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,23]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,4]]}},"alternative-id":["9055"],"URL":"https:\/\/doi.org\/10.1007\/s10664-007-9055-3","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,10,23]]}}}