{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T11:15:16Z","timestamp":1648638916962},"reference-count":24,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1994,7,1]],"date-time":"1994-07-01T00:00:00Z","timestamp":773020800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[1994,7]]},"DOI":"10.1016\/0020-0255(94)90042-6","type":"journal-article","created":{"date-parts":[[2003,6,30]],"date-time":"2003-06-30T17:28:37Z","timestamp":1056994117000},"page":"109-121","source":"Crossref","is-referenced-by-count":0,"title":["Selecting a testing criterion based on quantitative analysis"],"prefix":"10.1016","volume":"79","author":[{"given":"Chi-Ming","family":"Chung","sequence":"first","affiliation":[]},{"given":"Wen C.","family":"Pai","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0020-0255(94)90042-6_BIB1","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/356876.356879","article-title":"Validation, verification, and testing of computer software","author":"Adrion","year":"1982","journal-title":"ACM Comput. Surveys"},{"issue":"1","key":"10.1016\/0020-0255(94)90042-6_BIB2","first-page":"1","article-title":"A family of data-flow testing methodologies","volume":"13","author":"Chung","year":"1991","journal-title":"Int. J. Mini Microcomput."},{"key":"10.1016\/0020-0255(94)90042-6_BIB3","series-title":"Int. Conference on Computers, Communications and Automation","article-title":"A quantitative measurement for different testing methodologies","author":"Chung","year":"1992"},{"issue":"5","key":"10.1016\/0020-0255(94)90042-6_BIB4","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1109\/TSE.1987.233196","article-title":"Test data selection and quality estimation based on the concept of essential branches for path testing","volume":"SE-13","author":"Chusho","year":"1987","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB5","series-title":"Proc. 8th Int. Conference on Software Engineering, IEEE Computer Society","first-page":"224","article-title":"A comparison of data flow path selection criteria","author":"Clarke","year":"1985"},{"issue":"11","key":"10.1016\/0020-0255(94)90042-6_BIB6","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/32.41326","article-title":"A formal evaluation of data flow path selection criteria","volume":"15","author":"Clarke","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB7","series-title":"Proc. IEEE Softfair II, IEEE","first-page":"46","article-title":"A data flow testing tool","author":"Frankl","year":"1985"},{"issue":"10","key":"10.1016\/0020-0255(94)90042-6_BIB8","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","article-title":"An applicable family of data flow testing criteria","volume":"14","author":"Frankl","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB9","first-page":"92","article-title":"A data flow analysis approach to program testing","author":"Herman","year":"1976","journal-title":"Austral. Comput. J."},{"key":"10.1016\/0020-0255(94)90042-6_BIB10","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1002\/spe.4380080402","article-title":"An evaluation of the effectiveness of symbolic testing","volume":"8","author":"Howden","year":"1978","journal-title":"Software Practice Experience"},{"issue":"4","key":"10.1016\/0020-0255(94)90042-6_BIB11","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1978.231514","article-title":"Theoretical and empirical studies of program testing","volume":"SE-4","author":"Howden","year":"1978","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB12","series-title":"Software Testing and Validation Techniques","first-page":"1","article-title":"Introduction to software validation","author":"Howden","year":"1981"},{"key":"10.1016\/0020-0255(94)90042-6_BIB13","series-title":"Software Testing and Validation Techniques","first-page":"210","article-title":"A survey of dynamic analysis methods","author":"Howden","year":"1981"},{"key":"10.1016\/0020-0255(94)90042-6_BIB14","series-title":"Software Testing and Validation Techniques","first-page":"102","article-title":"A survey of static analysis methods","author":"Howden","year":"1981"},{"key":"10.1016\/0020-0255(94)90042-6_BIB15","series-title":"Proc. IEEE Softfair II, IEEE","first-page":"34","article-title":"A tool for data flow oriented program testing","author":"Korel","year":"1985"},{"issue":"3","key":"10.1016\/0020-0255(94)90042-6_BIB16","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TSE.1983.236871","article-title":"A data flow oriented program testing strategy","volume":"SE-9","author":"Laski","year":"1983","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB17","series-title":"Proc. 5th LASTED Conf. On Reliability and Quality Control","article-title":"A path selection model for structural program testing","author":"Lin","year":"1989"},{"issue":"6","key":"10.1016\/0020-0255(94)90042-6_BIB18","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1109\/TSE.1984.5010308","article-title":"On required element testing","volume":"SE-10","author":"Ntafos","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"issue":"6","key":"10.1016\/0020-0255(94)90042-6_BIB19","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/32.6165","article-title":"A comparison of some structural testing strategies","volume":"14","author":"Ntafos","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB20","series-title":"Proc. 4th International Computer Software and Applications Conference, IEEE Computer Society","first-page":"146","article-title":"Control flow, data flow and program complexity","author":"Oviedo","year":"1980"},{"issue":"4","key":"10.1016\/0020-0255(94)90042-6_BIB21","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using data flow information","volume":"SE-11","author":"Rapps","year":"1985","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB22","first-page":"192","article-title":"Application of program graphs and software development and testing","volume":"SE-5","author":"Schneidewind","year":"1979","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(94)90042-6_BIB23","doi-asserted-by":"crossref","first-page":"1075","DOI":"10.1002\/spe.4380211007","article-title":"Path testing of computer programs with loop using a tool for simple loop pattern","volume":"21","author":"White","year":"1991","journal-title":"Software Practice Experience"},{"issue":"3","key":"10.1016\/0020-0255(94)90042-6_BIB24","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1980.230473","article-title":"Experience with path analysis and testing of programs","volume":"SE-6","author":"Woodward","year":"1980","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020025594900426?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0020025594900426?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,18]],"date-time":"2019-03-18T13:51:55Z","timestamp":1552917115000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0020025594900426"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,7]]},"references-count":24,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1994,7]]}},"alternative-id":["0020025594900426"],"URL":"https:\/\/doi.org\/10.1016\/0020-0255(94)90042-6","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[1994,7]]}}}