{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,25]],"date-time":"2025-04-25T22:22:49Z","timestamp":1745619769026},"reference-count":15,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2003,4,1]],"date-time":"2003-04-01T00:00:00Z","timestamp":1049155200000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[2003,4]]},"DOI":"10.1016\/s0164-1212(02)00063-8","type":"journal-article","created":{"date-parts":[[2003,4,30]],"date-time":"2003-04-30T23:34:13Z","timestamp":1051745653000},"page":"57-63","source":"Crossref","is-referenced-by-count":6,"title":["Detecting associative shift faults in predicate testing"],"prefix":"10.1016","volume":"66","author":[{"given":"Ioannis","family":"Stamelos","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(02)00063-8_BIB1","series-title":"Digital Systems Testing and Testable Design","author":"Abramovici","year":"1990"},{"key":"10.1016\/S0164-1212(02)00063-8_BIB2","doi-asserted-by":"crossref","unstructured":"Daran, M., Thevenod-Fosse, P., 1995. Software error analysis: a real case study involving real faults and mutations. In: Proceedings ACM SIGSOFT ISSTA, pp. 158\u2013171","DOI":"10.1145\/226295.226313"},{"issue":"4","key":"10.1016\/S0164-1212(02)00063-8_BIB3","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\/S0164-1212(02)00063-8_BIB4","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 Trans. Soft. Eng."},{"issue":"2","key":"10.1016\/S0164-1212(02)00063-8_BIB5","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1145\/1010925.1010935","article-title":"Sensitive test data for logical expressions","volume":"9","author":"Foster","year":"1984","journal-title":"ACM SIGSOFT Soft. Eng. Notes"},{"issue":"30","key":"10.1016\/S0164-1212(02)00063-8_BIB6","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TC.1981.1675757","article-title":"An implicit enumeration algorithm to generate tests for combinatorial logic circuits","author":"Goel","year":"1981","journal-title":"IEEE Trans. Comput. C"},{"issue":"1","key":"10.1016\/S0164-1212(02)00063-8_BIB7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/S0164-1212(98)10065-1","article-title":"Toward an integration of data flow and domain testing","volume":"45","author":"Jeng","year":"1999","journal-title":"J. Systems Soft."},{"issue":"4","key":"10.1016\/S0164-1212(02)00063-8_BIB8","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/322993.322996","article-title":"Fault classes and error detection capability of specification-based testing","volume":"8","author":"Kuhn","year":"1999","journal-title":"ACM Trans. Soft. Eng. Method."},{"issue":"5","key":"10.1016\/S0164-1212(02)00063-8_BIB9","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 Trans. Soft. Eng."},{"issue":"1","key":"10.1016\/S0164-1212(02)00063-8_BIB10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/S0164-1212(99)00066-7","article-title":"Generating test data from SOFL specifications","volume":"49","author":"Offutt","year":"1999","journal-title":"J. Systems Soft."},{"key":"10.1016\/S0164-1212(02)00063-8_BIB11","doi-asserted-by":"crossref","unstructured":"Paradkar, A.M., Tai, K.C., 1995. Test generation for Boolean expressions. In: Proceedings IEEE Int. Symp. Soft. Reliability Eng. pp. 106\u2013115","DOI":"10.1109\/ISSRE.1995.497649"},{"key":"10.1016\/S0164-1212(02)00063-8_BIB12","doi-asserted-by":"crossref","unstructured":"Paradkar, A.M., Tai, K.C., Vouk, M.A., 1996. Automatic test generation for predicates. In: Proceedings IEEE Int. Symp. Soft. Reliability Eng. pp. 66\u201375","DOI":"10.1109\/ISSRE.1996.558700"},{"issue":"8","key":"10.1016\/S0164-1212(02)00063-8_BIB13","doi-asserted-by":"crossref","first-page":"552","DOI":"10.1109\/32.536956","article-title":"Theory of fault-based predicate testing for computer programs","volume":"22","author":"Tai","year":"1996","journal-title":"IEEE Trans. Soft. Eng."},{"key":"10.1016\/S0164-1212(02)00063-8_BIB14","series-title":"McGraw, Software Fault Injection","author":"Voas","year":"1998"},{"issue":"5","key":"10.1016\/S0164-1212(02)00063-8_BIB15","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1109\/32.286420","article-title":"Automatically generating test data from a Boolean specification","volume":"20","author":"Weyuker","year":"1994","journal-title":"IEEE Trans. Soft. Eng."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000638?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121202000638?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,19]],"date-time":"2020-03-19T17:16:47Z","timestamp":1584638207000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121202000638"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,4]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["S0164121202000638"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(02)00063-8","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2003,4]]}}}