{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T23:14:30Z","timestamp":1763507670510},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642358722"},{"type":"electronic","value":"9783642358739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35873-9_13","type":"book-chapter","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T06:22:57Z","timestamp":1357107777000},"page":"189-208","source":"Crossref","is-referenced-by-count":27,"title":["Flow-Sensitive Fault Localization"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Christ","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evren","family":"Ermis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Sch\u00e4f","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Wies","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. SIGPLAN Not., 97\u2013105 (2003)","DOI":"10.1145\/640128.604140"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-02658-4_11","volume-title":"Computer Aided Verification","author":"I. Beer","year":"2009","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.: Explaining Counterexamples Using Causality. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 94\u2013108. Springer, Heidelberg (2009)"},{"issue":"6","key":"13_CR3","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/1041685.1029908","volume":"29","author":"S. Chaki","year":"2004","unstructured":"Chaki, S., Groce, A., Strichman, O.: Explaining abstract counterexamples. SIGSOFT Softw. Eng. Notes\u00a029(6), 73\u201382 (2004)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/978-3-642-31759-0_19","volume-title":"Model Checking Software","author":"J. Christ","year":"2012","unstructured":"Christ, J., Hoenicke, J., Nutz, A.: SMTInterpol: An Interpolating SMT Solver. In: Donaldson, A., Parker, D. (eds.) SPIN 2012. LNCS, vol.\u00a07385, pp. 248\u2013254. Springer, Heidelberg (2012)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/978-3-642-27940-9_13","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"E. Ermis","year":"2012","unstructured":"Ermis, E., Hoenicke, J., Podelski, A.: Splitting via Interpolants. In: Kuncak, V., Rybalchenko, A. (eds.) VMCAI 2012. LNCS, vol.\u00a07148, pp. 186\u2013201. Springer, Heidelberg (2012)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/978-3-642-32759-9_17","volume-title":"FM 2012: Formal Methods","author":"E. Ermis","year":"2012","unstructured":"Ermis, E., Sch\u00e4f, M., Wies, T.: Error Invariants. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol.\u00a07436, pp. 187\u2013201. Springer, Heidelberg (2012)"},{"key":"13_CR7","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.\u00a02988, pp. 108\u2013122. Springer, Heidelberg (2004)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Groce, A., Kroening, D.: Making the Most of BMC Counterexamples. ENTCS, 67\u201381 (2005)","DOI":"10.1016\/j.entcs.2004.12.023"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1007\/978-3-540-27813-9_35","volume-title":"Computer Aided Verification","author":"A. Groce","year":"2004","unstructured":"Groce, A., Kroning, D., Lerda, F.: Understanding Counterexamples with explain. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol.\u00a03114, pp. 453\u2013456. Springer, Heidelberg (2004)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-642-22110-1_40","volume-title":"Computer Aided Verification","author":"M. Jose","year":"2011","unstructured":"Jose, M., Majumdar, R.: Bug-Assist: Assisting Fault Localization in ANSI-C Programs. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 504\u2013509. Springer, Heidelberg (2011)"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. In: PLDI 2011, pp. 437\u2013446. ACM (2011)","DOI":"10.1145\/1993316.1993550"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"McMillan, K.L.: An interpolating theorem prover. Theor. Comput. Sci., 101\u2013121 (2005)","DOI":"10.1016\/j.tcs.2005.07.003"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11817963_14","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"2006","unstructured":"McMillan, K.L.: Lazy Abstraction with Interpolants. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 123\u2013136. Springer, Heidelberg (2006)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Qi, D., Roychoudhury, A., Liang, Z., Vaswani, K.: Darwin: an approach for debugging evolving programs. In: ESEC\/SIGSOFT FSE, pp. 33\u201342 (2009)","DOI":"10.1145\/1595696.1595704"},{"key":"13_CR15","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: ASE, pp. 30\u201339 (2003)"},{"key":"13_CR16","first-page":"121","volume":"3","author":"F. Tip","year":"1995","unstructured":"Tip, F.: A survey of program slicing techniques. Journal of Programming Languages\u00a03, 121\u2013189 (1995)","journal-title":"Journal of Programming Languages"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Wang, T., Roychoudhury, A.: Automated path generation for software fault localization. In: ASE, pp. 347\u2013351. ACM (2005)","DOI":"10.1145\/1101908.1101966"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Wong, W.E., Debroy, V.: Software fault localization (2009)","DOI":"10.1081\/E-ESE-120044231"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: SIGSOFT FSE, pp. 1\u201310 (2002)","DOI":"10.1145\/587052.587053"},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"272","DOI":"10.1145\/1134285.1134324","volume-title":"ICSE","author":"X. Zhang","year":"2006","unstructured":"Zhang, X., Gupta, N., Gupta, R.: Locating faults through automated predicate switching. In: ICSE, pp. 272\u2013281. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35873-9_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T13:32:49Z","timestamp":1620135169000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35873-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642358722","9783642358739"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35873-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}