{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:14:16Z","timestamp":1772039656553,"version":"3.50.1"},"reference-count":29,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003,1]]},"DOI":"10.1016\/s0950-5849(02)00129-5","type":"journal-article","created":{"date-parts":[[2002,12,30]],"date-time":"2002-12-30T19:08:58Z","timestamp":1041275338000},"page":"1-9","source":"Crossref","is-referenced-by-count":123,"title":["Fault-based testing without the need of oracles"],"prefix":"10.1016","volume":"45","author":[{"given":"T.Y.","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.H.","family":"Tse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Z.Q.","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"4","key":"10.1016\/S0950-5849(02)00129-5_BIB1","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1109\/12.2185","article-title":"Data diversity: an approach to software fault tolerance","volume":"37","author":"Ammann","year":"1988","journal-title":"IEEE Transactions on Computers"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB2","series-title":"Software Testing Techniques","author":"Beizer","year":"1990"},{"issue":"1","key":"10.1016\/S0950-5849(02)00129-5_BIB3","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1145\/200836.200880","article-title":"Designing programs that check their work","volume":"42","author":"Blum","year":"1995","journal-title":"Journal of the ACM"},{"issue":"3","key":"10.1016\/S0950-5849(02)00129-5_BIB4","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1016\/0022-0000(93)90044-W","article-title":"Self-testing\/correcting with applications to numerical problems","volume":"47","author":"Blum","year":"1993","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB5","series-title":"Computer Program Testing","first-page":"129","article-title":"Mutation analysis: ideas, examples, problems and prospects","author":"Budd","year":"1981"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB6","series-title":"Proceedings of the IASTED International Conference on Software Engineering (SE\u201998)","author":"Chan","year":"1998"},{"issue":"1","key":"10.1016\/S0950-5849(02)00129-5_BIB7","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/366378.366380","article-title":"TACCLE: a methodology for object-oriented software testing at the class and cluster levels","volume":"10","author":"Chen","year":"2001","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB8","series-title":"Technical Report HKUST-CS98-01","author":"Chen","year":"1998"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB9","series-title":"Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC 2002)","author":"Chen","year":"2002"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB10","series-title":"Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001)","author":"Chen","year":"2001"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB11","series-title":"Computer Program Testing","first-page":"65","article-title":"Symbolic evaluation methods: implementations and applications","author":"Clarke","year":"1981"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0164-1212(85)90004-4","article-title":"Applications of symbolic evaluation","volume":"5","author":"Clarke","year":"1985","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB13","series-title":"Software Manual for the Elementary Functions","author":"Cody","year":"1980"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB14","series-title":"The Unified Computation Laboratory: Modelling, Specifications, and Tools","first-page":"367","article-title":"Program analysis by symbolic execution and generalization","author":"Colman","year":"1992"},{"issue":"4","key":"10.1016\/S0950-5849(02)00129-5_BIB15","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","article-title":"Hints on test data selection: help for the practicing programmer","volume":"11","author":"DeMillo","year":"1978","journal-title":"IEEE Computer"},{"issue":"9","key":"10.1016\/S0950-5849(02)00129-5_BIB16","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/32.92910","article-title":"Constraint-based automatic test data generation","volume":"17","author":"DeMillo","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-59293-8_188","article-title":"Testing can be formal, too","volume":"vol. 915","author":"Gaudel","year":"1995"},{"issue":"1","key":"10.1016\/S0950-5849(02)00129-5_BIB18","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/stvr.4370050103","article-title":"Fault coupling in finite bijective functions","volume":"5","author":"How Tai Wah","year":"1995","journal-title":"Software Testing, Verification and Reliability"},{"issue":"1","key":"10.1016\/S0950-5849(02)00129-5_BIB19","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1002\/(SICI)1099-1689(200003)10:1<3::AID-STVR196>3.0.CO;2-P","article-title":"A theoretical study of fault coupling","volume":"10","author":"How Tai Wah","year":"2000","journal-title":"Software Testing, Verification and Reliability"},{"issue":"3","key":"10.1016\/S0950-5849(02)00129-5_BIB20","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1109\/TSE.1976.233816","article-title":"Reliability of the path analysis testing strategy","volume":"SE-2","author":"Howden","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"10.1016\/S0950-5849(02)00129-5_BIB21","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1109\/TSE.1977.231144","article-title":"Symbolic testing and the DISSECT symbolic evaluation system","volume":"SE-3","author":"Howden","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"8","key":"10.1016\/S0950-5849(02)00129-5_BIB22","doi-asserted-by":"crossref","first-page":"844","DOI":"10.1109\/32.57623","article-title":"A theory of fault-based testing","volume":"16","author":"Morell","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB23","series-title":"The Art of Software Testing","author":"Myers","year":"1979"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB24","series-title":"Proceedings of the Fifth Annual Conference on Computer Assurance (COMPASS\u201990)","article-title":"Using symbolic execution to aid automatic test data generation","author":"Offutt","year":"1990"},{"issue":"1","key":"10.1016\/S0950-5849(02)00129-5_BIB25","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/125489.125473","article-title":"Investigations of the software testing coupling effect","volume":"1","author":"Offutt","year":"1992","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"issue":"5","key":"10.1016\/S0950-5849(02)00129-5_BIB26","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1109\/32.286422","article-title":"An empirical evaluation of weak mutation","volume":"20","author":"Offutt","year":"1994","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"10.1016\/S0950-5849(02)00129-5_BIB27","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1145\/227607.227610","article-title":"An experimental determination of sufficient mutant operators","volume":"5","author":"Offutt","year":"1996","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"10.1016\/S0950-5849(02)00129-5_BIB28","series-title":"Software Fault Injection: Inoculating Programs against Errors","author":"Voas","year":"1998"},{"issue":"4","key":"10.1016\/S0950-5849(02)00129-5_BIB29","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1093\/comjnl\/25.4.465","article-title":"On testing non-testable programs","volume":"25","author":"Weyuker","year":"1982","journal-title":"The Computer Journal"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001295?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584902001295?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,7,23]],"date-time":"2019-07-23T14:24:46Z","timestamp":1563891886000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584902001295"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,1]]}},"alternative-id":["S0950584902001295"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(02)00129-5","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2003,1]]}}}