{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:06:52Z","timestamp":1777536412359,"version":"3.51.4"},"reference-count":39,"publisher":"Wiley","issue":"2","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":6056,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw: Pract. Exper."],"published-print":{"date-parts":[[1999,2]]},"DOI":"10.1002\/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-v","type":"journal-article","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T19:52:08Z","timestamp":1133466728000},"page":"167-193","source":"Crossref","is-referenced-by-count":53,"title":["The dynamic domain reduction procedure for test data generation"],"prefix":"10.1002","volume":"29","author":[{"given":"A. Jefferson","family":"Offutt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyi","family":"Jin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"311","reference":[{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB1","volume-title":"The Art of Software Testing","author":"Myers","year":"1979","unstructured":"The Art of Software Testing, Wiley, New York, NY, 1979."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB2","volume-title":"Software Engineering","author":"Sommerville","year":"1992","unstructured":"Software Engineering, Addison-Wesley, 4th edition, 1992."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB3","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","volume":"14","author":"Frankl","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB4","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1145\/267580.267590","volume":"29","author":"Zhu","year":"1997","journal-title":"ACM Computing Surveys"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB5","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"Korel","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB6","doi-asserted-by":"crossref","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"DeMillo","year":"1991","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB7","author":"Boyer","year":"1975","unstructured":"and , \u2018Select - a formal system for testing and debugging programs by symbolic execution\u2019, Proceedings of the International Conference on Reliable Software, June 1975. (SIGPLAN Notices, 10(6).)"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"2","author":"Ramamoorthy","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB9","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"Clarke","year":"1976","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB10","volume":"3","author":"Howden","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB11","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"Ferguson","year":"1996","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB12","series-title":"Lecture Notes","first-page":"360","author":"Borzovs","year":"1991","unstructured":"and , \u2018Automatic construction of test sets: Practical approach\u2019, Lecture Notes in Computer ScienceVol 502, Springer-Verlag, Berlin, 1991, pp. 360-432."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB13","author":"Miller","year":"1975","unstructured":"and , \u2018Automated generation of testcase datasets\u2019, Proceedings of the International Conference on Reliable Software, April 1975, pp. 51-58."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB14","author":"Bauer","year":"1979","unstructured":"and , \u2018Test plan generation using formal grammars\u2019, Proceedings of the 4th International Conference on Software Engineering, San Diego, CA (September 1979), pp. 425-432."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB15","doi-asserted-by":"crossref","DOI":"10.1109\/52.56422","volume":"7","author":"Maurer","year":"1990","journal-title":"IEEE Software"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB16","author":"Sturgis","year":"1985","unstructured":"\u2018An effective test strategy\u2019, Technical report CSL-85-8, Xerox Parc, November 1985."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB17","author":"Mills","year":"1987","journal-title":"IEEE Software"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB18","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1109\/52.73748","volume":"8","author":"Voas","year":"1991","journal-title":"IEEE Software"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB19","volume":"SE-24","author":"Howden","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB20","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0164-1212(85)90004-4","volume":"5","author":"Clarke","year":"1985","journal-title":"The Journal of Systems and Software"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB21","doi-asserted-by":"crossref","DOI":"10.1109\/C-M.1978.218139","volume":"11","author":"Darringer","year":"1978","journal-title":"IEEE Computer"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB22","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/151257.151258","volume":"2","author":"DeMillo","year":"1993","journal-title":"ACM Transactions on Software Engineering Methodology"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB23","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/TSE.1977.231145","volume":"3","author":"Hamlet","year":"1977","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB24","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"DeMillo","year":"1978","journal-title":"IEEE Computer"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB25","author":"DeMillo","year":"1988","unstructured":", , and , \u2018An extended overview of the Mothra software testing environment\u2019, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, Banff, Alberta, July 1988, pp. 142-151."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB26","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1002\/stvr.4370020405","volume":"2","author":"Korel","year":"1992","journal-title":"The Journal of Software Testing, Verification, and Reliability"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB27","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1109\/TSE.1975.6312864","volume":"SE-1","author":"Fairley","year":"1975","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB28","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF02262722","volume":"1","author":"Offutt","year":"1991","journal-title":"Journal of Systems Integration"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB29","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"SE-10","author":"Weiser","year":"1984","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB30","author":"Tip","year":"1994","unstructured":"\u2018A survey of program slicing techniques\u2019, Technical report CS-R-9438, Computer Science\/Department of Software Technology, Centrum voor Wiskunde en Informatica, 1994."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB31","volume":"5","author":"Cheatham","year":"1979","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB32","author":"Horgan","year":"1992","unstructured":"and , \u2018ATAC: A data flow coverage testing tool for C\u2019, Proceedings of the Symposium of Quality Software Development Tools, New Orleans, LA, May 1992, pp. 2-10"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB33","author":"Frankl","year":"1985","unstructured":"and , \u2018ASSET: A system to select and evaluate tests\u2019, Proceedings of the Conference on Software Tools, New York, NY, April 1985."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB34","author":"Offutt","year":"1994","unstructured":"and , \u2018The dynamic domain reduction approach for test data generation: Design and algorithms\u2019, Technical report ISSE-TR-94-110, Department of Information and Software Systems Engineering, George Mason University, Fairfax VA, September 1994."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB35","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1109\/32.286418","volume":"20","author":"Pande","year":"1994","journal-title":"IEEE Transactions of Software Engineering"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB36","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1109\/52.73750","volume":"8","author":"Harrold","year":"1991","journal-title":"IEEE Software"},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB37","author":"Jasper","year":"1994","unstructured":", , and , \u2018Test data generation and feasible path analysis\u2019, Proceedings of the 1994 International Symposium on Software Testing, and Analysis, Seattle, WA, August 1994, pp. 95-107."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB38","author":"Goldberg","year":"1994","unstructured":"and , \u2018Applications of feasible path analysis to program testing\u2019, Proceedings of the 1994 International Symposium on Software Testing, and Analysis, Seattle, WA, August 1994, pp. 80-94."},{"key":"10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V-BIB39","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/(SICI)1099-1689(199709)7:3<165::AID-STVR143>3.0.CO;2-U","volume":"7","author":"Offutt","year":"1997","journal-title":"The Journal of Software Testing, Verification, and Reliability"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2F(SICI)1097-024X(199902)29:2%3C167::AID-SPE225%3E3.0.CO;2-V","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/(SICI)1097-024X(199902)29:2%3C167::AID-SPE225%3E3.0.CO;2-V","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,1]],"date-time":"2021-07-01T08:03:38Z","timestamp":1625126618000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/(SICI)1097-024X(199902)29:2<167::AID-SPE225>3.0.CO;2-V"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,2]]},"references-count":39,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,2]]}},"URL":"https:\/\/doi.org\/10.1002\/(sici)1097-024x(199902)29:2<167::aid-spe225>3.0.co;2-v","relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,2]]}}}