{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T11:57:59Z","timestamp":1768996679138,"version":"3.49.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,8,19]],"date-time":"2009-08-19T00:00:00Z","timestamp":1250640000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s10515-009-0056-x","type":"journal-article","created":{"date-parts":[[2009,8,18]],"date-time":"2009-08-18T14:47:01Z","timestamp":1250606821000},"page":"5-31","source":"Crossref","is-referenced-by-count":50,"title":["Test input reduction for result inspection to facilitate fault localization"],"prefix":"10.1007","volume":"17","author":[{"given":"Dan","family":"Hao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tao","family":"Xie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiasu","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,8,19]]},"reference":[{"key":"56_CR1","doi-asserted-by":"crossref","unstructured":"Agrawal, H., Horgan, J., London, S., Wong, W.: Fault localization using execution slices and dataflow. In: Proc. 6th International Symposium on Software Reliability Engineering, pp.\u00a0143\u2013151, October 1995","DOI":"10.1109\/ISSRE.1995.497652"},{"issue":"2","key":"56_CR2","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1002\/stvr.226","volume":"11","author":"E. Barbosa","year":"2001","unstructured":"Barbosa, E., Maldonado, J., Vincenzi, A.: Toward the determination of sufficient mutant operators for C. Softw. Test. Verif. Reliab. 11(2), 113\u2013136 (2001)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"56_CR3","unstructured":"Baresi, L., Young, M.: Test oracles. Technical Report CIS-TR-01-02, University of Oregon, Dept. of Computer and Information Science, Eugene, Oregon, USA, August 2001"},{"key":"56_CR4","doi-asserted-by":"crossref","unstructured":"Baudry, B., Fleurey, F., Traon, Y.L.: Improving test suites for efficient fault localization. In: Proc. 28th International Conference on Software Engineering, pp.\u00a082\u201391, May 2006","DOI":"10.1145\/1134285.1134299"},{"key":"56_CR5","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failure. In: Proc. 27th International Conference on Software Engineering, pp.\u00a0342\u2013351, May 2005","DOI":"10.1145\/1062455.1062522"},{"issue":"4","key":"56_CR6","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/s10664-005-3861-2","volume":"10","author":"H. Do","year":"2005","unstructured":"Do, H., Elbaum, S., Rothermel, G.: Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact. Emp. Softw. Eng. 10(4), 405\u2013435 (2005)","journal-title":"Emp. Softw. Eng."},{"issue":"2","key":"56_CR7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/32.988497","volume":"28","author":"S. Elbaum","year":"2002","unstructured":"Elbaum, S., Malishevsky, A.G., Rothermel, G.: Test case prioritization: A family of empirical studies. IEEE Trans. Softw. Eng. 28(2), 159\u2013182 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"56_CR8","volume-title":"Elements of Set Theory","author":"H.B. Enderton","year":"1977","unstructured":"Enderton, H.B.: Elements of Set Theory. Academic Press, San Diego (1977)"},{"issue":"2","key":"56_CR9","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1145\/367008.367020","volume":"10","author":"T.L. Graves","year":"2001","unstructured":"Graves, T.L., Harrold, M.J., Kim, J.-M., Porter, A., Rothermel, G.: An empirical study of regression test selection techniques. ACM Trans. Softw. Eng. Methodol. 10(2), 184\u2013208 (2001)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"56_CR10","doi-asserted-by":"crossref","unstructured":"Guo, L., Roychoudhury, A., Wang, T.: Accurately choosing execution runs for software fault localization. In: Proc. International Conference on Compiler Construction, pp.\u00a080\u201395, Mar. 2006","DOI":"10.1007\/11688839_7"},{"key":"56_CR11","doi-asserted-by":"crossref","unstructured":"Hao, D.: Testing-based interactive fault localization. In: Proc. 28th International Conference on Software Engineering, Doctoral Symposium Track, pp.\u00a0957\u2013960, May 2006","DOI":"10.1145\/1134285.1134462"},{"key":"56_CR12","doi-asserted-by":"crossref","unstructured":"Hao, D., Pan, Y., Zhang, L., Zhao, W., Mei, H., Sun, J.: A similarity-aware approach to testing based fault localization. In: Proc. 20th IEEE International Conference on Automated Software Engineering, pp.\u00a0291\u2013294 (2005a)","DOI":"10.1145\/1101908.1101953"},{"key":"56_CR13","doi-asserted-by":"crossref","unstructured":"Hao, D., Zhang, L., Zhong, H., Mei, H., Sun, J.: Eliminating harmful redundancy for testing-based fault localization using test suite reduction: An experimental study. In: Proc. 21st IEEE International Conference on Software Maintenance, pp.\u00a0683\u2013686 (2005b)","DOI":"10.1109\/ICSM.2005.43"},{"key":"56_CR14","doi-asserted-by":"crossref","unstructured":"Hao, D., Zhang, L., Mei, H., Sun, J.: Towards interactive fault localization using test information. In: Proc. 13th Asia Pacific Software Engineering Conference, pp.\u00a0277\u2013284 (2006)","DOI":"10.1109\/APSEC.2006.59"},{"issue":"2","key":"56_CR15","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/s10515-008-0025-9","volume":"15","author":"D. Hao","year":"2008","unstructured":"Hao, D., Zhang, L., Pan, Y., Mei, H., Sun, J.: On similarity-awareness in testing-based fault localization. Autom. Softw. Eng. J. 15(2), 207\u2013249 (2008)","journal-title":"Autom. Softw. Eng. J."},{"key":"56_CR16","doi-asserted-by":"crossref","unstructured":"Hao, D., Zhang, L., Zhang, L., Sun, J., Mei, H.: VIDA: Visual interactive debugging. In: Proc. 31st International Conference on Software Engineering, Formal Research Demonstrations, pp.\u00a0583\u2013586, May 2009","DOI":"10.1109\/ICSE.2009.5070561"},{"issue":"3","key":"56_CR17","doi-asserted-by":"crossref","first-page":"270","DOI":"10.1145\/152388.152391","volume":"2","author":"M.J. Harrold","year":"1993","unstructured":"Harrold, M.J., Gupta, R., Soffa, M.L.: A methodology for controlling the size of a test suite. ACM Trans. Softw. Eng. Methodol. 2(3), 270\u2013285 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"56_CR18","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria. In: Proc. 16th International Conference on Software Engineering, pp.\u00a0191\u2013200, May 1994"},{"key":"56_CR19","doi-asserted-by":"crossref","unstructured":"Jeffrey, D., Gupta, N.: Test suite reduction with selective redundancy. In: Proc. 21st IEEE International Conference on Software Maintenance, pp.\u00a0549\u2013558, Sept. 2005","DOI":"10.1109\/ICSM.2005.88"},{"issue":"2","key":"56_CR20","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/TSE.2007.18","volume":"33","author":"D. Jeffrey","year":"2007","unstructured":"Jeffrey, D., Gupta, N.: Improving fault detection capability by selectively retaining test cases during test suite reduction. IEEE Trans. Softw. Eng. 33(2), 108\u2013123 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"56_CR21","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1109\/TSE.2003.1183927","volume":"29","author":"J.A. Jones","year":"2003","unstructured":"Jones, J.A., Harrold, M.J.: Test-suite reduction and prioritization for modified condition\/decision coverage. IEEE Trans. Softw. Eng. 29(3), 195\u2013209 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"56_CR22","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of tarantula automatic fault-localization technique. In: Proc. 20th International Conference on Automated Software Engineering, pp.\u00a0273\u2013282 (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"56_CR23","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: Proc. 24th International Conference on Software Engineering, pp.\u00a0467\u2013477, May 2002","DOI":"10.1145\/581396.581397"},{"key":"56_CR24","volume-title":"Statistics and Probability in Modern Life","author":"N. Joseph","year":"1992","unstructured":"Joseph, N.: Statistics and Probability in Modern Life. Saunders, Philadelphia (1992)"},{"key":"56_CR25","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A.X., Jordan, M.I.: Bug isolation via remote program sampling. In: Proc. ACM SIGPLAN 2003 Conference on Programming Languages Design and Implementation, pp.\u00a0141\u2013154 (2003)","DOI":"10.1145\/781131.781148"},{"key":"56_CR26","doi-asserted-by":"crossref","unstructured":"Liu, C., Yuan, X., Fei, L., Han, J., Midkiff, S.P.: SOBER: Statistical model-based bug localization. In: Proc. 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.\u00a0286\u2013295, September 2005","DOI":"10.1145\/1081706.1081753"},{"key":"56_CR27","doi-asserted-by":"crossref","unstructured":"Ma, X.y., He, Z.f., Sheng, B.k., Ye, C.q.: A genetic algorithm for test-suite reduction. In: Proc. the International Conference on Systems, Man and Cybernetics, pp.\u00a0133\u2013139, October 2005","DOI":"10.1007\/11573937_28"},{"key":"56_CR28","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Ernst, M.D.: Eclat: Automatic generation and classification of test inputs. In: Proc. 19th European Conference on Object-Oriented Programming, pp.\u00a0504\u2013527 (2005)","DOI":"10.1007\/11531142_22"},{"key":"56_CR29","doi-asserted-by":"crossref","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Proc. 18th International Conference on Automated Software Engineering, pp.\u00a030\u201339 (2003)","DOI":"10.1109\/ASE.2003.1240292"},{"issue":"2","key":"56_CR30","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1145\/248233.248262","volume":"6","author":"G. Rothermel","year":"1997","unstructured":"Rothermel, G., Harrold, M.J.: A safe, efficient regression test selection technique. ACM Trans. Softw. Eng. Methodol. 6(2), 173\u2013210 (1997)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"6","key":"56_CR31","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1109\/32.689399","volume":"24","author":"G. Rothermel","year":"1998","unstructured":"Rothermel, G., Harrold, M.J.: Experimental studies of a safe regression test selection technique. IEEE Trans. Softw. Eng. 24(6), 401\u2013419 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"10","key":"56_CR32","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1109\/32.962562","volume":"27","author":"G. Rothermel","year":"2001","unstructured":"Rothermel, G., Untch, R.H., Chu, C., Harrold, M.J.: Prioritizing test cases for regression testing. IEEE Trans. Softw. Eng. 27(10), 929\u2013948 (2001)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"56_CR33","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1002\/stvr.256","volume":"12","author":"G. Rothermel","year":"2002","unstructured":"Rothermel, G., Harrold, M.J., von Ronne, J., Hong, C.: Empirical studies of test-suite reduction. Softw. Test. Verif. Reliab. 12(4), 219\u2013249 (2002)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"56_CR34","doi-asserted-by":"crossref","unstructured":"Saff, D., Artzi, S., Perkins, J.H., Ernst, M.D.: Automatic test factoring for Java. In: Proc. 20th International Conference on Automated Software Engineering, pp.\u00a0114\u2013123, November 2005","DOI":"10.1145\/1101908.1101927"},{"key":"56_CR35","doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: Proc. 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.\u00a0263\u2013272 (2005)","DOI":"10.1145\/1081706.1081750"},{"key":"56_CR36","doi-asserted-by":"crossref","unstructured":"Sprenkle, S., Sampath, S., Gibson, E., Pollock, L., Souter, A.: An empirical comparison of test suite reduction techniques for user-session-based testing of web applications. In: Proc. 21st IEEE International Conference on Software Maintenance, pp.\u00a0587\u2013596, Sept. 2005","DOI":"10.1109\/ICSM.2005.18"},{"key":"56_CR37","doi-asserted-by":"crossref","unstructured":"Srivastava, A., Thiagarajan, J.: Effectively prioritizing tests in development environment. In: Proc. 2002 International Symposium on Software Testing and Analysis, pp.\u00a097\u2013106, July 2002","DOI":"10.1145\/566172.566187"},{"key":"56_CR38","volume-title":"Research Methods Knowledge Base","author":"W.M.K. Trochim","year":"2007","unstructured":"Trochim, W.M.K.: Research Methods Knowledge Base. Thomson Custom Pub., New York (2007)"},{"key":"56_CR39","doi-asserted-by":"crossref","unstructured":"Walcott, K.R., Kapfhammer, G.M., Soffa, M.L., Roos, R.S.: Time-aware test suite prioritization. In: Proc. International Symposium on Software Testing and Analysis, pp.\u00a01\u201312 (2006)","DOI":"10.1145\/1146238.1146240"},{"key":"56_CR40","doi-asserted-by":"crossref","unstructured":"Wang, T., Roychoudhury, A.: Automated path generation for software fault localization. In: Proc. 20th International Conference on Automated Software Engineering, pp.\u00a0347\u2013351 (2005)","DOI":"10.1145\/1101908.1101966"},{"key":"56_CR41","volume-title":"Experimentation in Software Engineering: An Introduction","author":"C. Wohlin","year":"1999","unstructured":"Wohlin, C., Runeson, P., Host, M.: Experimentation in Software Engineering: An Introduction. Springer, Berlin (1999)"},{"issue":"3","key":"56_CR42","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1007\/s10851-006-8530-6","volume":"13","author":"T. Xie","year":"2006","unstructured":"Xie, T., Notkin, D.: Tool-assisted unit-test generation and selection based on operational abstractions. Autom. Softw. Eng. J. 13(3), 345\u2013371 (2006)","journal-title":"Autom. Softw. Eng. J."},{"issue":"10","key":"56_CR43","doi-asserted-by":"crossref","first-page":"915","DOI":"10.1109\/TSE.2003.1237172","volume":"29","author":"Y. Xie","year":"2003","unstructured":"Xie, Y., Engler, D.: Using redundancies to find errors. IEEE Trans. Softw. Eng. 29(10), 915\u2013928 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"56_CR44","doi-asserted-by":"crossref","unstructured":"Yu, Y., Jones, J.A., Harrold, M.J.: An empirical study of the effects of test-suite reduction on fault localization. In: Proc. 30th International Conference on Software Engineering, pp.\u00a0201\u2013210, May 2008","DOI":"10.1145\/1368088.1368116"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-009-0056-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-009-0056-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-009-0056-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T19:46:54Z","timestamp":1739303214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-009-0056-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,19]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["56"],"URL":"https:\/\/doi.org\/10.1007\/s10515-009-0056-x","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,8,19]]}}}