{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T00:49:32Z","timestamp":1649206172210},"reference-count":33,"publisher":"Elsevier BV","issue":"3-4","license":[{"start":{"date-parts":[[1996,9,1]],"date-time":"1996-09-01T00:00:00Z","timestamp":841536000000},"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":[[1996,9]]},"DOI":"10.1016\/0020-0255(96)00076-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T14:22:28Z","timestamp":1027606948000},"page":"211-233","source":"Crossref","is-referenced-by-count":0,"title":["A quantitative analysis for different testing criteria through program decomposition"],"prefix":"10.1016","volume":"93","author":[{"given":"Chi-Ming","family":"Chung","sequence":"first","affiliation":[]},{"given":"Timothy K.","family":"Shih","sequence":"additional","affiliation":[]},{"given":"Ying-Hong","family":"Wang","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/0020-0255(96)00076-X_BIB1","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."},{"issue":"3","key":"10.1016\/0020-0255(96)00076-X_BIB2","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1980.230473","article-title":"Experience with path analysis and testing of program","volume":"SE-6","author":"Woodward","year":"1980","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(96)00076-X_BIB3","series-title":"Software maintainability, 1988 Science, Engineering and Technology Seminars","author":"Chung","year":"1988"},{"key":"10.1016\/0020-0255(96)00076-X_BIB4","series-title":"Testing\u2014specific metrics, 1989 Science, Engineering and Technology Seminars","author":"Chung","year":"1989"},{"key":"10.1016\/0020-0255(96)00076-X_BIB5","article-title":"Static and dynamic data flow metrics","author":"Chung","year":"1989","journal-title":"Policy and Information J."},{"key":"10.1016\/0020-0255(96)00076-X_BIB6","series-title":"Proc. National Computer Symp.","first-page":"522","article-title":"Algorithms for finding the most complicated loop-free and loop-once paths","author":"Chung","year":"1989"},{"key":"10.1016\/0020-0255(96)00076-X_BIB7","series-title":"IEEE Region 10 Conf. on Computer and Communication System","first-page":"424","article-title":"Software development techniques\u2014combining testing and metrics","author":"Chung","year":"1990"},{"key":"10.1016\/0020-0255(96)00076-X_BIB8","article-title":"A family of testing path selecting criteria","author":"Chung","year":"1991","journal-title":"Int. J. Mini and Micro Computers"},{"key":"10.1016\/0020-0255(96)00076-X_BIB9","unstructured":"R. A. DeMillo, R. J. Martin, and J. F. Passafiume, Software Testing and Evaluation, Benjamin\/Cummings Publishing Company, pp. 27\u201329."},{"key":"10.1016\/0020-0255(96)00076-X_BIB10","unstructured":"E. Miller and W. E. Howden, Tutorial: Software Testing and Validation Techniques (2nd ed.), IEEE Computer Society, 11 pp."},{"key":"10.1016\/0020-0255(96)00076-X_BIB11","unstructured":"G. J. Myers, The art of software testing, Lecture in Computer Science, Polytechnic Institute of New York, Brooklyn, NY."},{"key":"10.1016\/0020-0255(96)00076-X_BIB12","unstructured":"R. S. Pressman, Software Engineering, McGraw-Hill International Edition."},{"key":"10.1016\/0020-0255(96)00076-X_BIB13","doi-asserted-by":"crossref","first-page":"308","DOI":"10.1109\/TSE.1976.233837","article-title":"A complexity measure","volume":"SE-2","author":"McCabe","year":"1976","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(96)00076-X_BIB14","series-title":"NBS Special Publication, Contract NB82NAAK5118","article-title":"Structured testing: a testing methodology using the McCabe complexity metric","author":"McCabe","year":"1982"},{"key":"10.1016\/0020-0255(96)00076-X_BIB15","first-page":"36","article-title":"Quantifying the test effectiveness of Algol 68 programs","volume":"12","author":"Hennell","year":"1977"},{"issue":"6","key":"10.1016\/0020-0255(96)00076-X_BIB16","doi-asserted-by":"crossref","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(96)00076-X_BIB17","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/C-M.1977.217782","article-title":"Program testing: art meets theory","author":"Miller","year":"1977","journal-title":"IEEE Computer"},{"issue":"3","key":"10.1016\/0020-0255(96)00076-X_BIB18","doi-asserted-by":"crossref","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(96)00076-X_BIB19","series-title":"The Advanced Center for Computer Studies","article-title":"A software metrics based testing environment","author":"Chung","year":"1987-1988"},{"key":"10.1016\/0020-0255(96)00076-X_BIB20","series-title":"Proc. Int. Computer Symp.","article-title":"A software metrics based software environment","author":"Chung","year":"1988"},{"issue":"4","key":"10.1016\/0020-0255(96)00076-X_BIB21","doi-asserted-by":"crossref","first-page":"432","DOI":"10.1109\/TSE.1984.5010256","article-title":"Data flow anomaly detection","volume":"SE-10","author":"Jachner","year":"1984","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0020-0255(96)00076-X_BIB22","series-title":"IEEE Workshop on Software Testing","first-page":"23","article-title":"An investigation of data flow path selection criteria","author":"Clarke","year":"1986"},{"key":"10.1016\/0020-0255(96)00076-X_BIB23","series-title":"IEEE Workshop on Software Testing","first-page":"4","article-title":"Data flow testing in the presence of unexecutable paths","author":"Frankl","year":"1986"},{"issue":"10","key":"10.1016\/0020-0255(96)00076-X_BIB24","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."},{"issue":"11","key":"10.1016\/0020-0255(96)00076-X_BIB25","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."},{"issue":"12","key":"10.1016\/0020-0255(96)00076-X_BIB26","doi-asserted-by":"crossref","first-page":"1537","DOI":"10.1109\/32.58766","article-title":"An incremental version of iterative data flow analysis","volume":"15","author":"Pollock","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/0020-0255(96)00076-X_BIB27","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/32.44377","article-title":"Profiling an incremental data flow analysis algorithm","volume":"16","author":"Ryder","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"10.1016\/0020-0255(96)00076-X_BIB28","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/32.56098","article-title":"A critical analysis of incremental iterative data flow analysis algorithms","volume":"16","author":"Burke","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"issue":"7","key":"10.1016\/0020-0255(96)00076-X_BIB29","doi-asserted-by":"crossref","first-page":"742","DOI":"10.1109\/32.238573","article-title":"Clarifying some fundamental concepts in software testing","volume":"19","author":"Parrish","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"issue":"10","key":"10.1016\/0020-0255(96)00076-X_BIB30","doi-asserted-by":"crossref","first-page":"962","DOI":"10.1109\/32.245738","article-title":"Provable improvements on branches testing","volume":"19","author":"Frankl","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"10.1016\/0020-0255(96)00076-X_BIB31","doi-asserted-by":"crossref","first-page":"774","DOI":"10.1109\/32.238581","article-title":"An experimental comparison of the effectiveness of branch testing and data flow testing","volume":"19","author":"Frankl","year":"1993","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"10.1016\/0020-0255(96)00076-X_BIB32","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1109\/32.44376","article-title":"The cost of data flow testing: an empirical study","volume":"16","author":"Weyuker","year":"1990","journal-title":"IEEE Trans. Software Eng."},{"issue":"9","key":"10.1016\/0020-0255(96)00076-X_BIB33","doi-asserted-by":"crossref","first-page":"912","DOI":"10.1109\/32.241773","article-title":"More experience with data flow testing","volume":"19","author":"Weyuker","year":"1993","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002002559600076X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:002002559600076X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T18:26:34Z","timestamp":1556043994000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/002002559600076X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,9]]},"references-count":33,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1996,9]]}},"alternative-id":["002002559600076X"],"URL":"https:\/\/doi.org\/10.1016\/0020-0255(96)00076-x","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[1996,9]]}}}