{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,12]],"date-time":"2025-04-12T05:25:35Z","timestamp":1744435535966},"reference-count":37,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"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 and Software Technology"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1016\/0950-5849(94)00456-3","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T01:45:07Z","timestamp":1027647907000},"page":"5-13","source":"Crossref","is-referenced-by-count":6,"title":["Towards a benchmark for the evaluation of software testing techniques"],"prefix":"10.1016","volume":"37","author":[{"given":"James","family":"Miller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Roper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Murray","family":"Wood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Brooks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"No 6","key":"10.1016\/0950-5849(94)00456-3_BIB1","doi-asserted-by":"crossref","first-page":"868","DOI":"10.1109\/32.6165","article-title":"A comparison of some structural testing strategies","volume":"Vol 14","author":"Ntafos","year":"1988","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"No 4","key":"10.1016\/0950-5849(94)00456-3_BIB2","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. on Soft. Eng."},{"issue":"No 4","key":"10.1016\/0950-5849(94)00456-3_BIB3","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1109\/52.143097","article-title":"Are we testing for true reliability?","volume":"Vol 9","author":"Hamlet","year":"1992","journal-title":"IEEE Software"},{"key":"10.1016\/0950-5849(94)00456-3_BIB4","author":"DeMillo","year":"1987"},{"key":"10.1016\/0950-5849(94)00456-3_BIB5","doi-asserted-by":"crossref","first-page":"1278","DOI":"10.1109\/TSE.1987.232881","article-title":"Comparing the effectiveness of software testing strategies","volume":"Vol 12","author":"Basili","year":"1987","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"10.1016\/0950-5849(94)00456-3_BIB6","series-title":"Proc. Compass 89","first-page":"36","article-title":"Experimental evaluation of six test techniques","author":"Lauterbach","year":"1989"},{"key":"10.1016\/0950-5849(94)00456-3_BIB7","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1002\/spe.4380080402","article-title":"An evaluation of the effectiveness of symbolic testing","volume":"Vol 8","author":"Howden","year":"1987","journal-title":"Software\u2014Practice and Experience"},{"key":"10.1016\/0950-5849(94)00456-3_BIB8","series-title":"Proc. Workshop on Software Testing","first-page":"64","article-title":"An experimental comparison of the error exposing ability of program testing criteria","author":"Girgis","year":"1986"},{"key":"10.1016\/0950-5849(94)00456-3_BIB9","series-title":"Proc. 3rd Ann. Int. Phoenix Conf. on Computers and Communications","first-page":"174","article-title":"Audit of statement analysis methodology","author":"Lesniak-Betley","year":"1984"},{"issue":"No 10","key":"10.1016\/0950-5849(94)00456-3_BIB10","doi-asserted-by":"crossref","first-page":"941","DOI":"10.1109\/32.245736","article-title":"An empirical study of testing and integration strategies using artificial software systems","volume":"Vol 19","author":"Solheim","year":"1993","journal-title":"IEEE Trans. on Soft. Eng."},{"issue":"No 8","key":"10.1016\/0950-5849(94)00456-3_BIB11","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":"Vol 19","author":"Frankl","year":"1993","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"10.1016\/0950-5849(94)00456-3_BIB12","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0164-1212(93)90024-R","article-title":"A study of the effectiveness of control and data flow testing strategies","volume":"Vol 21","author":"Foreman","year":"1993","journal-title":"J. Systems and Software"},{"issue":"No 6","key":"10.1016\/0950-5849(94)00456-3_BIB13","doi-asserted-by":"crossref","first-page":"662","DOI":"10.1145\/62959.62962","article-title":"Special section on software testing (guest editorial)","volume":"Vol 31","author":"Hamlet","year":"1988","journal-title":"Comm. ACM"},{"key":"10.1016\/0950-5849(94)00456-3_BIB14","article-title":"Towards the expermental evaluation of software testing techniques","author":"Roper","year":"1993"},{"issue":"No 5","key":"10.1016\/0950-5849(94)00456-3_BIB15","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/52.156901","article-title":"A proposed testing and analysis research initiative","volume":"Vol 9","author":"Osterweil","year":"1992","journal-title":"IEEE Software"},{"key":"10.1016\/0950-5849(94)00456-3_BIB16","author":"Roper","year":"1994"},{"issue":"No 1","key":"10.1016\/0950-5849(94)00456-3_BIB17","doi-asserted-by":"crossref","DOI":"10.1093\/comjnl\/19.1.43","article-title":"A synthetic benchmark","volume":"Vol 19","author":"Curnow","year":"1976","journal-title":"The Computer Journal"},{"key":"10.1016\/0950-5849(94)00456-3_BIB18","author":"Hennessy","year":"1990"},{"key":"10.1016\/0950-5849(94)00456-3_BIB19","author":"MIPS Computer Systems, Inc.","year":"1988","journal-title":"Performance brief CPU benchmark Issue 3.5"},{"key":"10.1016\/0950-5849(94)00456-3_BIB20","author":"SPEC","year":"1989","journal-title":"SPEC benchmark suite release 1.0"},{"key":"10.1016\/0950-5849(94)00456-3_BIB21","article-title":"The Perfect Club benchmarks: effective performance evaluation of supercomputers","author":"Berry","year":"1988"},{"key":"10.1016\/0950-5849(94)00456-3_BIB22","author":"Transaction Processing Performance Council (TPC)","year":"1989"},{"issue":"Nos 10\u201311","key":"10.1016\/0950-5849(94)00456-3_BIB23","doi-asserted-by":"crossref","first-page":"1173","DOI":"10.1016\/S0167-8191(05)80032-8","article-title":"Scientific benchmark characterizations","volume":"Vol 17","author":"Berry","year":"1991","journal-title":"Parallel Computing"},{"key":"10.1016\/0950-5849(94)00456-3_BIB24","article-title":"TPC benchmark A","author":"Transaction Processing Performance Control (TPC)","year":"1991"},{"issue":"No 7","key":"10.1016\/0950-5849(94)00456-3_BIB25","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1002\/spe.4380190702","article-title":"The errors of TeX","volume":"Vol 19","author":"Knuth","year":"1989","journal-title":"Software\u2014Practice and Experience"},{"issue":"No 3","key":"10.1016\/0950-5849(94)00456-3_BIB26","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/52.136170","article-title":"Assessing testing tools in research and education","volume":"Vol 9","author":"Horgan","year":"1992","journal-title":"IEEE Software"},{"issue":"No 1","key":"10.1016\/0950-5849(94)00456-3_BIB27","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1002\/stvr.4370040104","article-title":"An empirical comparison of data flow and mutuation-based test data adequacy criteria","volume":"Vol 4","author":"Mathur","year":"1994","journal-title":"Software Testing, Verification and Reliability"},{"issue":"Nos 10\u201311","key":"10.1016\/0950-5849(94)00456-3_BIB28","doi-asserted-by":"crossref","first-page":"1195","DOI":"10.1016\/S0167-8191(05)80033-X","article-title":"The SPEC benchmarks","volume":"Vol 17","author":"Dixit","year":"1991","journal-title":"Parallel Computing"},{"issue":"No 4","key":"10.1016\/0950-5849(94)00456-3_BIB29","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1109\/TSE.1975.6312866","article-title":"The source control system","volume":"Vol 1","author":"Rochkind","year":"1975","journal-title":"IEEE Trans. on Soft. Eng."},{"key":"10.1016\/0950-5849(94)00456-3_BIB30","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1002\/spe.4380150703","article-title":"RCS-a system for version control","volume":"Vol 15","author":"Tichy","year":"1985","journal-title":"Software Practice and Experience"},{"issue":"No 1","key":"10.1016\/0950-5849(94)00456-3_BIB31","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/390012.24219","article-title":"Experiences with a database of programs","volume":"Vol 22","author":"Belkhatir","year":"1987","journal-title":"ACM SIGPLAN Notices"},{"key":"10.1016\/0950-5849(94)00456-3_BIB32","author":"Gamlin","year":"1987"},{"key":"10.1016\/0950-5849(94)00456-3_BIB33","author":"Jardine","year":"1971"},{"key":"10.1016\/0950-5849(94)00456-3_BIB34","doi-asserted-by":"crossref","first-page":"652","DOI":"10.1126\/science.137.3531.652","article-title":"Patterns and populations","volume":"Vol 137","author":"Ehrlich","year":"1962","journal-title":"Science"},{"key":"10.1016\/0950-5849(94)00456-3_BIB35","author":"Davis","year":"1963"},{"key":"10.1016\/0950-5849(94)00456-3_BIB36","doi-asserted-by":"crossref","first-page":"176","DOI":"10.2307\/2411548","article-title":"The two taxonomies: areas of agreement and conflict","volume":"Vol 14","author":"Sokal","year":"1965","journal-title":"Systematic Zoology"},{"key":"10.1016\/0950-5849(94)00456-3_BIB37","author":"Mayr","year":"1969"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584994004563?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0950584994004563?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,15]],"date-time":"2019-04-15T11:20:09Z","timestamp":1555327209000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0950584994004563"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["0950584994004563"],"URL":"https:\/\/doi.org\/10.1016\/0950-5849(94)00456-3","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}