{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:19:20Z","timestamp":1759033160630,"version":"3.34.0"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2008,5,1]],"date-time":"2008-05-01T00:00:00Z","timestamp":1209600000000},"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":[[2008,6]]},"DOI":"10.1007\/s10515-008-0025-9","type":"journal-article","created":{"date-parts":[[2008,4,30]],"date-time":"2008-04-30T15:39:13Z","timestamp":1209569953000},"page":"207-249","source":"Crossref","is-referenced-by-count":30,"title":["On similarity-awareness in testing-based fault localization"],"prefix":"10.1007","volume":"15","author":[{"given":"Dan","family":"Hao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lu","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Pan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hong","family":"Mei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiasu","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,5,1]]},"reference":[{"key":"25_CR1","unstructured":"Agrawal, H., DeMillo, R.A., Hathaway, R., Hsu, W., Krauser, E.W., Martin, R.J., Mathur, A.P., Spafford, E.H.: Design of mutant operators for the C programming language. Technical Report SERC-TR-41-P, Purdue University, West Lafayette, IN (1989)"},{"key":"25_CR2","unstructured":"Agrawal, H., Horgan, J., London, S., Wong, W.: Fault location using execution slices and dataflow tests. In: IEEE Software Reliability Engineering, pp. 143\u2013151 (1995)"},{"issue":"4","key":"25_CR3","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/2.488299","volume":"29","author":"T. Ball","year":"1996","unstructured":"Ball, T., Eick, S.G.: Software visualization in the large. Computer 29(4), 33\u201343 (1996)","journal-title":"Computer"},{"issue":"2","key":"25_CR4","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. software testing. Verif. Reliab. 11(2), 113\u2013136 (2001)","journal-title":"Verif. Reliab."},{"key":"25_CR5","doi-asserted-by":"crossref","unstructured":"Baudry, B., Fleurey, F., Traon, Y.L.: Improving test suites for efficient fault localization. In: Proceedings of the 28th International Conference on Software Engineering, pp. 82\u201391 (2006)","DOI":"10.1145\/1134285.1134299"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Black, J., Melachrinoudis, E., Kaeli, D.: Bi-criteria models for all-uses test suite reduction. In: Proceedings of the 26th International Conference on Software Engineering, pp. 106\u2013115 (2004)","DOI":"10.1109\/ICSE.2004.1317433"},{"issue":"7","key":"25_CR7","doi-asserted-by":"crossref","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"W.R. Bush","year":"2000","unstructured":"Bush, W.R., Pincus, J.D., Sielaff, D.J.: A static analyzer for finding dynamic programming errors. Softw. Pract. Exp. 30(7), 775\u2013802 (2000)","journal-title":"Softw. Pract. Exp."},{"issue":"3","key":"25_CR8","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1002\/spe.4380170306","volume":"17","author":"F.T. Chan","year":"1987","unstructured":"Chan, F.T., Chen, T.Y.: AIDA\u2014a dynamic data flow anomaly detection system for Pascal programs. Softw. Pract. Exp. 17(3), 227\u2013239 (1987)","journal-title":"Softw. Pract. Exp."},{"key":"25_CR9","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1002\/smr.297","volume":"16","author":"M.L. Chaim","year":"2004","unstructured":"Chaim, M.L., Maldonado, J.C., Jino, M.: A debugging strategy based on the requirements of testing. Softw. Maint. Evol. Res. Pract. 16, 277\u2013308 (2004)","journal-title":"Softw. Maint. Evol. Res. Pract."},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: Proceedings of the 27th International Conference on Software Engineering, pp. 342\u2013351 (2005)","DOI":"10.1145\/1062455.1062522"},{"issue":"3","key":"25_CR11","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0164-1212(89)90039-3","volume":"9","author":"J.S. Collofello","year":"1989","unstructured":"Collofello, J.S., Woodfield, S.N.: Evaluating the effectiveness of reliable-assurance techniques. Syst. Softw. 9(3), 191\u2013195 (1989)","journal-title":"Syst. Softw."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Demillo, R., Pan, H., Spafford, E.: Failure and fault analysis for software debugging. In: Proceedings of the 21st International Computer Software and Applications Conference, pp. 515\u2013521 (1997)","DOI":"10.1109\/CMPSAC.1997.625061"},{"key":"25_CR13","doi-asserted-by":"crossref","unstructured":"Dickinson, W., Leon, D., Podgurski, A.: Finding failures by cluster analysis of execution profiles. In: Proceedings of the 23rd International Conference on Software Engineering, pp. 339\u2013348 (2001)","DOI":"10.1109\/ICSE.2001.919107"},{"key":"25_CR14","doi-asserted-by":"crossref","unstructured":"Dor, N., Rodeh, M., Sagiv, M.: CSSV: towards a realistic tool for statically detecting all buffer overflows in C. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, pp.\u00a0155\u2013167 (2003)","DOI":"10.1145\/781131.781149"},{"key":"25_CR15","first-page":"9","volume-title":"Fuzzy Sets and Systems","author":"D. Dubois","year":"1980","unstructured":"Dubois, D., Prade, H.: Fuzzy Sets and Systems, pp. 9\u201320. Academic Press, New York (1980)"},{"key":"25_CR16","doi-asserted-by":"crossref","unstructured":"Engler, D., Chelf, B., Chou, A., Hallem, S.: Checking system rules using system-specific, programmer-written compiler extensions. In: Proceedings of Operating Systems Design and Implementation, pp.\u00a01\u201316 (2000)","DOI":"10.21236\/ADA419626"},{"key":"25_CR17","doi-asserted-by":"crossref","unstructured":"Engler, D., Chen, D.Y., Hallem, S., Chou, A., Chelf, B.: Bugs as deviant behavior: a general approach to inferring errors in systems code. In: Proceedings of 18th ACM Symposium on Operating Systems Principles, pp. 57\u201372 (2001)","DOI":"10.1145\/502034.502041"},{"key":"25_CR18","first-page":"479","volume-title":"Statistics: A First Course","author":"J.E. Freund","year":"1995","unstructured":"Freund, J.E., Simon, G.A.: Statistics: A First Course, 6th edn., pp. 479\u2013483. Prentice Hall, New York (1995)","edition":"6"},{"key":"25_CR19","doi-asserted-by":"crossref","unstructured":"Hangal, S., Lam, M.S.: Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th International Conference on Software Engineering, pp. 291\u2013301 (2002)","DOI":"10.1145\/581376.581377"},{"key":"25_CR20","doi-asserted-by":"crossref","unstructured":"Hao, D., Pan, Y., Zhang, L., Mei, H., Sun, J.: A Similarity-aware approach to testing based fault localization. In: Proceedings of 20th IEEE International Conference on Automated Software Engineering, pp. 291\u2013294 (2005a)","DOI":"10.1145\/1101908.1101953"},{"key":"25_CR21","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: Proceedings of the 21st IEEE International Conference on Software Maintenance, pp.\u00a0683\u2013686 (2005b)","DOI":"10.1109\/ICSM.2005.43"},{"issue":"3","key":"25_CR22","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. Methodology 2(3), 270\u2013285 (1993)","journal-title":"ACM Trans. Softw. Eng. Methodology"},{"issue":"4","key":"25_CR23","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1109\/TSE.1982.235571","volume":"8","author":"W.E. Howden","year":"1982","unstructured":"Howden, W.E.: Weak mutation testing and completeness of test sets. IEEE Trans. Softw. Eng. 8(4), 371\u2013379 (1982)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"25_CR24","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1109\/TSE.1979.234184","volume":"5","author":"J.C. Huang","year":"1979","unstructured":"Huang, J.C.: Detection of data flow anomaly through program instrumentation. IEEE Trans. Softw. Eng. 5(3), 226\u2013236 (1979)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR25","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: Proceedings of the 16th International Conference on Software Engineering, pp.\u00a0191\u2013200 (1994)"},{"key":"25_CR26","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: Proceedings of the 24th International Conference on Software Engineering, pp. 467\u2013477 (2002)","DOI":"10.1145\/581339.581397"},{"key":"25_CR27","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, pp. 273\u2013282 (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"25_CR28","unstructured":"Larochelle, D., Evans, D.: Statically detecting likely buffer overflow vulnerabilities. In: Proceedings of the 10th USENIX Security Symposium, pp. 13\u201317 (2001)"},{"key":"25_CR29","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A.X., Jordan, M.I.: Bug isolation via remote program sampling. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 141\u2013154 (2003)","DOI":"10.1145\/781131.781148"},{"key":"25_CR30","doi-asserted-by":"crossref","unstructured":"Liblit, B., Naik, M., Zheng, A.X., Aiken, A.: Jordan M.I., Scalable statistical bug isolation. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 15\u201326 (2005)","DOI":"10.1145\/1064978.1065014"},{"key":"25_CR31","doi-asserted-by":"crossref","unstructured":"Liu, C., Yan, X., Fei, L., Han, J., Midkiff, S.P.: SOBER: statistical model-based bug localization. In: Proceedings of the 13th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp.\u00a0286\u2013295 (2005)","DOI":"10.1145\/1081706.1081753"},{"issue":"10","key":"25_CR32","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1109\/TSE.2006.105","volume":"32","author":"C. Liu","year":"2006","unstructured":"Liu, C., Fei, L., Yan, X., Han, J., Midkiff, S.P.: Statistical debugging: a hypothesis testing-based approach. IEEE Trans. Softw. Eng. 32(10), 831\u2013848 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR33","doi-asserted-by":"crossref","unstructured":"Maldonado, J.C., Delamaro, M.E., Fabbri, S.C.P.F., Sim\u00f6, A.S., Sugeta, T., Vincenzi, A.M.R., Masiero, P.C.: Proteum: a Family of Tools to Support Specification and Program Testing Based on Mutation. Kluwer International Series on Advances in Database Systems, pp. 113\u2013116 (2001)","DOI":"10.1007\/978-1-4757-5939-6_19"},{"key":"25_CR34","unstructured":"Mayer, W., Stumptner, M., Wieland, D., Wotawa, F.: Towards an integrated debugging environment. In: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI), pp.\u00a0422\u2013426 (2002)"},{"key":"25_CR35","doi-asserted-by":"crossref","unstructured":"Mayer, W., Stumptner, M.: Extending diagnosis to debug programs with exceptions. In: Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 240\u2013244 (2003)","DOI":"10.1109\/ASE.2003.1240312"},{"key":"25_CR36","first-page":"679","volume-title":"Statistics and Probability in Modern Life","author":"J. Newmark","year":"1992","unstructured":"Newmark, J.: Statistics and Probability in Modern Life, 5th edn., pp.\u00a0679\u2013700. Sauders College, Philadelphia (1992)","edition":"5"},{"issue":"2","key":"25_CR37","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1002\/(SICI)1097-024X(199602)26:2<165::AID-SPE5>3.0.CO;2-K","volume":"26","author":"A. Offutt","year":"1996","unstructured":"Offutt, A., Pan, J., Tewary, K., Zhang, T.: An experimental evaluation of data flow and mutation testing. Softw. Pract. Exp. 26(2), 165\u2013176 (1996)","journal-title":"Softw. Pract. Exp."},{"key":"25_CR38","doi-asserted-by":"crossref","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Proceedings of the 18th International Conference on Automated Software Engineering, pp. 30\u201339 (2003)","DOI":"10.1109\/ASE.2003.1240292"},{"key":"25_CR39","doi-asserted-by":"crossref","unstructured":"Ruthruff, J.R., Burnett, M., Rothermel, G.: An experimental study of fault localization for end-user programmers. In: Proceedings of the 27th IEEE International Conference on Software Engineering, pp.\u00a0352\u2013361 (2005)","DOI":"10.1145\/1062455.1062523"},{"key":"25_CR40","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Program slicing. In: IEEE Transactions on Software Engineering, pp.\u00a0352\u2013357 (1984)","DOI":"10.1109\/TSE.1984.5010248"},{"key":"25_CR41","doi-asserted-by":"crossref","unstructured":"Wong, W.E., Qi, Y.: An execution slice and inter-block data dependency-based approach for fault localization. In: Proceedings of 11th Asia-Pacific Software Engineering Conference, pp. 366\u2013373 (2004)","DOI":"10.1109\/APSEC.2004.26"},{"key":"25_CR42","doi-asserted-by":"crossref","unstructured":"Xie, Y., Chou, A., Engler, D.: ARCHER: using symbolic, path-sensitive analysis to detect memory access errors. In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 327\u2013336 (2003)","DOI":"10.1145\/940071.940115"},{"issue":"10","key":"25_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":"25_CR44","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Inf. Control 8, 338\u2013353 (1965)","journal-title":"Inf. Control"},{"issue":"2","key":"25_CR45","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. Softw. Eng. 28(2), 183\u2013200 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR46","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: Proceedings of the 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 1\u201310 (2002)","DOI":"10.1145\/587051.587053"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-008-0025-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-008-0025-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-008-0025-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T23:44:10Z","timestamp":1738194250000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-008-0025-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5,1]]},"references-count":46,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2008,6]]}},"alternative-id":["25"],"URL":"https:\/\/doi.org\/10.1007\/s10515-008-0025-9","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2008,5,1]]}}}