{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:25Z","timestamp":1740099085831,"version":"3.37.3"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319893624"},{"type":"electronic","value":"9783319893631"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-89363-1_14","type":"book-chapter","created":{"date-parts":[[2018,4,3]],"date-time":"2018-04-03T13:04:43Z","timestamp":1522760683000},"page":"246-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6084-0042","authenticated-orcid":false,"given":"David","family":"Landsberg","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1893-6259","authenticated-orcid":false,"given":"Youcheng","family":"Sun","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6681-5283","authenticated-orcid":false,"given":"Daniel","family":"Kroening","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,4,4]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/MSP.2009.56","volume":"7","author":"M Zhivich","year":"2009","unstructured":"Zhivich, M., Cunningham, R.K.: The real cost of software errors. IEEE Secur. Priv. 7(2), 87\u201390 (2009)","journal-title":"IEEE Secur. Priv."},{"issue":"3","key":"14_CR2","doi-asserted-by":"crossref","first-page":"745","DOI":"10.1016\/0164-1212(89)90039-3","volume":"9","author":"JS Collofello","year":"1989","unstructured":"Collofello, J.S., Woodfield, S.N.: Evaluating the effectiveness of reliability-assurance techniques. J. Syst. Softw. 9(3), 745\u2013770 (1989)","journal-title":"J. Syst. Softw."},{"issue":"8","key":"14_CR3","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1109\/TSE.2016.2521368","volume":"42","author":"WE Wong","year":"2016","unstructured":"Wong, W.E., Gao, R., Li, Y., Abreu, R., Wotawa, F.: A survey on software fault localization. IEEE Trans. Softw. Eng. 42(8), 707\u2013740 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/978-3-662-46675-9_8","volume-title":"Fundamental Approaches to Software Engineering","author":"D Landsberg","year":"2015","unstructured":"Landsberg, D., Chockler, H., Kroening, D., Lewis, M.: Evaluation of measures for statistical fault localisation and an optimising scheme. In: Egyed, A., Schaefer, I. (eds.) FASE 2015. LNCS, vol. 9033, pp. 115\u2013129. Springer, Heidelberg (2015). https:\/\/doi.org\/10.1007\/978-3-662-46675-9_8"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-49052-6_5","volume-title":"Hardware and Software: Verification and Testing","author":"D Landsberg","year":"2016","unstructured":"Landsberg, D., Chockler, H., Kroening, D.: Probabilistic fault localisation. In: Bloem, R., Arbel, E. (eds.) HVC 2016. LNCS, vol. 10028, pp. 65\u201381. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-49052-6_5"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Landsberg, D.: Methods and measures for statistical fault localisation. Ph.D. thesis, University of Oxford (2016)","DOI":"10.1007\/978-3-319-49052-6_5"},{"issue":"3","key":"14_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2000791.2000795","volume":"20","author":"L Naish","year":"2011","unstructured":"Naish, L., Lee, H.J., Ramamohanarao, K.: A model for spectra-based software diagnosis. ACM Trans. Softw. Eng. Methodol. 20(3), 1\u201311 (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"2","key":"14_CR8","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1002\/smr.1616","volume":"26","author":"L Lucia","year":"2014","unstructured":"Lucia, L., Lo, D., Jiang, L., Thung, F., Budi, A.: Extended comprehensive study of association measures for fault localization. J. Softw. Evol. Process 26(2), 172\u2013219 (2014)","journal-title":"J. Softw. Evol. Process"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1109\/TR.2013.2285319","volume":"63","author":"WE Wong","year":"2014","unstructured":"Wong, W.E., Debroy, V., Gao, R., Li, Y.: The DStar method for effective software fault localization. IEEE Trans. Reliab. 63(1), 290\u2013308 (2014)","journal-title":"IEEE Trans. Reliab."},{"issue":"2","key":"14_CR10","first-page":"188","volume":"83","author":"WE Wong","year":"2010","unstructured":"Wong, W.E., Debroy, V., Choi, B.: A family of code coverage-based heuristics for effective fault localization. JSS 83(2), 188\u2013208 (2010)","journal-title":"JSS"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-33119-0_18","volume-title":"Search Based Software Engineering","author":"S Yoo","year":"2012","unstructured":"Yoo, S.: Evolving human competitive spectra-based fault localisation techniques. In: Fraser, G., Teixeira de Souza, J. (eds.) SSBSE 2012. LNCS, vol. 7515, pp. 244\u2013258. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-33119-0_18"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Kim, J., Park, J., Lee, E.: A new hybrid algorithm for software fault localization. In: IMCOM, pp. 50:1\u201350:8. ACM (2015)","DOI":"10.1145\/2701126.2701207"},{"key":"14_CR13","first-page":"35","volume":"129","author":"L Zhang","year":"2017","unstructured":"Zhang, L., Yan, L., Zhang, Z., Zhang, J., Chan, W.K., Zheng, Z.: A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization. JSS 129, 35\u201357 (2017)","journal-title":"JSS"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Perez, A., Abreu, R., van Deursen, A.: A test-suite diagnosability metric for spectrum-based fault localization approaches. In: ICSE (2017)","DOI":"10.1109\/ICSE.2017.66"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Jiang, B., Chan, W.K., Tse, T.H.: On practical adequate test suites for integrated test case prioritization and fault localization. In: International Conference on Quality Software, pp. 21\u201330 (2011)","DOI":"10.1109\/QSIC.2011.37"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Santelices, R., Jones, J.A., Yu, Y., Harrold, M.J.: Lightweight fault-localization using multiple coverage types. In: ICSE, pp. 56\u201366 (2009)","DOI":"10.1109\/ICSE.2009.5070508"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Feldt, R., Poulding, S., Clark, D., Yoo, S.: Test set diameter: quantifying the diversity of sets of test cases. CoRR, abs\/1506.03482 (2015)","DOI":"10.1109\/ICST.2016.33"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Jin, W., Orso, A.: F3: fault localization for field failures. In: ISSTA, pp. 213\u2013223 (2013)","DOI":"10.1145\/2483760.2483763"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Baudry, B., Fleurey, F., Le Traon, Y.: Improving test suites for efficient fault localization. In: ICSE, pp. 82\u201391. ACM (2006)","DOI":"10.1145\/1134285.1134299"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Artzi, S., Dolby, J., Tip, F., Pistoia, M.: Directed test generation for effective fault localization. In: ISSTA, pp. 49\u201360 (2010)","DOI":"10.1145\/1831708.1831715"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Perez, A., Abreu, R., D\u2019Amorim, M.: Prevalence of single-fault fixes and its impact on fault localization. In: 2017 ICST, pp. 12\u201322 (2017)","DOI":"10.1109\/ICST.2017.9"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Steimann, F., Frenkel, M., Abreu, R.: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators. In: ISSTA, pp. 314\u2013324. ACM (2013)","DOI":"10.1145\/2483760.2483767"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-24730-2_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A Groce","year":"2004","unstructured":"Groce, A.: Error explanation with distance metrics. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 108\u2013122. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_8"},{"key":"14_CR24","doi-asserted-by":"crossref","unstructured":"Steimann, F., Frenkel, M.: Improving coverage-based localization of multiple faults using algorithms from integer linear programming. In: ISSRE, pp. 121\u2013130, 27\u201330 November 2012","DOI":"10.1109\/ISSRE.2012.28"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.: An evaluation of similarity coefficients for software fault localization. In: PRDC, pp. 39\u201346 (2006)","DOI":"10.1109\/PRDC.2006.18"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"DiGiuseppe, N., Jones, J.A.: On the influence of multiple faults on coverage-based fault localization. In: ISSTA, pp. 210\u2013220. ACM (2011)","DOI":"10.1145\/2001420.2001446"},{"key":"14_CR27","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, ICSE 2002, pp. 467\u2013477. ACM (2002)","DOI":"10.1145\/581396.581397"},{"issue":"7","key":"14_CR28","first-page":"891","volume":"79","author":"WE Wong","year":"2006","unstructured":"Wong, W.E., Qi, Y.: Effective program debugging based on execution slices and inter-block data dependency. JSS 79(7), 891\u2013903 (2006)","journal-title":"JSS"},{"issue":"6","key":"14_CR29","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1145\/1064978.1065014","volume":"40","author":"B Liblit","year":"2005","unstructured":"Liblit, B., Naik, M., Zheng, A.X., Aiken, A., Jordan, M.I.: Scalable statistical bug isolation. SIGPLAN Not. 40(6), 15\u201326 (2005)","journal-title":"SIGPLAN Not."},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"Naish, L., Lee, H.J.: Duals in spectral fault localization. In: Australian Conference on Software Engineering (ASWEC), pp. 51\u201359. IEEE (2013)","DOI":"10.1109\/ASWEC.2013.16"},{"key":"14_CR31","unstructured":"Naish, L., Lee, H.J., Ramamohanarao, K.: Spectral debugging: how much better can we do? In: ACSC, pp. 99\u2013106 (2012)"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-24730-2_15","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E Clarke","year":"2004","unstructured":"Clarke, E., Kroening, D., Lerda, F.: A tool for checking ANSI-C programs. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 168\u2013176. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24730-2_15"},{"key":"14_CR33","doi-asserted-by":"crossref","unstructured":"Groce, A.: Error explanation and fault localization with distance metrics. Ph.D. thesis, Carnegie Melon (2005)","DOI":"10.1007\/s10009-005-0202-0"},{"key":"14_CR34","unstructured":"CBMC. http:\/\/www.cprover.org\/cbmc\/"},{"key":"14_CR35","first-page":"13","volume":"2016","author":"N Li","year":"2016","unstructured":"Li, N., Wang, R., Tian, Y., Zheng, W.: An effective strategy to build up a balanced test suite for spectrum-based fault localization. Math. Probl. Eng. 2016, 13 (2016)","journal-title":"Math. Probl. Eng."},{"key":"14_CR36","first-page":"08","volume":"9","author":"Y Li","year":"2014","unstructured":"Li, Y., Liu, C.: Effective fault localization using weighted test cases. J. Soft. 9, 08 (2014)","journal-title":"J. Soft."},{"key":"14_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-3-540-31980-1_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V Schuppan","year":"2005","unstructured":"Schuppan, V., Biere, A.: Shortest counterexamples for symbolic model checking of LTL with past. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 493\u2013509. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31980-1_32"},{"issue":"2","key":"14_CR38","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1002\/stvr.421","volume":"20","author":"A Griesmayer","year":"2010","unstructured":"Griesmayer, A., Staber, S., Bloem, R.: Fault localization using a model checker. Softw. Test. Verif. Reliab. 20(2), 149\u2013173 (2010)","journal-title":"Softw. Test. Verif. Reliab."},{"key":"14_CR39","doi-asserted-by":"crossref","unstructured":"Birch, G., Fischer, B., Poppleton, M.: Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs. Soft. Syst. Model. (2017)","DOI":"10.1007\/s10270-017-0612-y"},{"key":"14_CR40","doi-asserted-by":"crossref","unstructured":"Gopinath, D., Zaeem, R.N., Khurshid, S.: Improving the effectiveness of spectra-based fault localization using specifications. In: Proceedings of the 27th IEEE\/ACM ASE, pp. 40\u201349 (2012)","DOI":"10.1145\/2351676.2351683"},{"issue":"6","key":"14_CR41","first-page":"1138","volume":"27","author":"G Fey","year":"2008","unstructured":"Fey, G., Staber, S., Bloem, R., Drechsler, R.: Automatic fault localization for property checking. CAD 27(6), 1138\u20131149 (2008)","journal-title":"CAD"},{"key":"14_CR42","doi-asserted-by":"crossref","unstructured":"Vidacs, L., Beszedes, A., Tengeri, D., Siket, I., Gyimothy, T.: Test suite reduction for fault detection and localization. In: CSMR-WCRE, pp. 204\u2013213, February 2014","DOI":"10.1109\/CSMR-WCRE.2014.6747172"},{"key":"14_CR43","doi-asserted-by":"crossref","unstructured":"Xuan, J., Monperrus, M.: Test case purification for improving fault localization. In: FSE, FSE 2014, pp. 52\u201363. ACM (2014)","DOI":"10.1145\/2635868.2635906"},{"key":"14_CR44","doi-asserted-by":"crossref","unstructured":"Alves, E., Gligoric, M., Jagannath, V., d\u2019Amorim, M.: Fault-localization using dynamic slicing and change impact analysis. In: ASE, pp. 520\u2013523 (2011)","DOI":"10.1109\/ASE.2011.6100114"},{"key":"14_CR45","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jss.2013.11.1109","volume":"90","author":"J Xiaolin","year":"2014","unstructured":"Xiaolin, J., Jiang, S., Chen, X., Wang, X., Zhang, Y., Cao, H.: HSFal: effective fault localization using hybrid spectrum of full slices and execution slices. J. Syst. Softw. 90, 3\u201317 (2014)","journal-title":"J. Syst. Softw."}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-89363-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,17]],"date-time":"2022-08-17T22:25:30Z","timestamp":1660775130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-89363-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319893624","9783319893631"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-89363-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}