{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:11:40Z","timestamp":1773655900366,"version":"3.50.1"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319133379","type":"print"},{"value":"9783319133386","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13338-6_8","type":"book-chapter","created":{"date-parts":[[2014,11,2]],"date-time":"2014-11-02T22:35:45Z","timestamp":1414967745000},"page":"92-98","source":"Crossref","is-referenced-by-count":8,"title":["Automatic Error Localization for Software Using Deductive Verification"],"prefix":"10.1007","author":[{"given":"Robert","family":"K\u00f6nighofer","sequence":"first","affiliation":[]},{"given":"Ronald","family":"Toegl","sequence":"additional","affiliation":[]},{"given":"Roderick","family":"Bloem","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-642-39611-3_24","volume-title":"Hardware and Software: Verification and Testing","author":"R. Bloem","year":"2013","unstructured":"Bloem, R., Drechsler, R., Fey, G., Finder, A., Hofferek, G., K\u00f6nighofer, R., Raik, J., Repinski, U., S\u00fclflow, A.: foREnSiC\u2013 an automatic debugging environment for C programs. In: Biere, A., Nahir, A., Vos, T. (eds.) HVC 2012. LNCS, vol.\u00a07857, pp. 260\u2013265. Springer, Heidelberg (2013)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-642-33826-7_16","volume-title":"Software Engineering and Formal Methods","author":"P. Cuoq","year":"2012","unstructured":"Cuoq, P., Kirchner, F., Kosmatov, N., Prevosto, V., Signoles, J., Yakobowski, B.: Frama-C - A software analysis perspective. In: Eleftherakis, G., Hinchey, M., Holcombe, M. (eds.) SEFM 2012. LNCS, vol.\u00a07504, pp. 233\u2013247. Springer, Heidelberg (2012)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Debroy, V., Wong, W.E.: Using mutation to automatically suggest fixes for faulty programs. In: ICST 2010. IEEE (2010)","DOI":"10.1109\/ICST.2010.66"},{"issue":"4","key":"8_CR4","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/j.entcs.2006.12.032","volume":"174","author":"A. Griesmayer","year":"2007","unstructured":"Griesmayer, A., Staber, S., Bloem, R.: Automated fault localization for C programs. Electr. Notes Theor. Comput. Sci.\u00a0174(4), 95\u2013111 (2007)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: ASE 2005. ACM (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"8_CR6","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":"8_CR7","unstructured":"K\u00f6nighofer, R., Bloem, R.: Automated error localization and correction for imperative programs. In: FMCAD 2011, IEEE (2011)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"K\u00f6nighofer, R., Toegl, R., Bloem, R.: Automatic error localization for software using deductive verification. CoRR, abs\/1409.4637 (2014)","DOI":"10.1007\/978-3-319-13338-6_8"},{"issue":"3","key":"8_CR9","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/MS.2004.1293079","volume":"21","author":"J.R. Larus","year":"2004","unstructured":"Larus, J.R., Ball, T., Das, M., DeLine, R., F\u00e4hndrich, M., Pincus, J.D., Rajamani, S.K., Venkatapathy, R.: Righting software. IEEE Softw.\u00a021(3), 92\u2013100 (2004)","journal-title":"IEEE Softw."},{"issue":"1","key":"8_CR10","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Art. Int.\u00a032(1), 57\u201395 (1987)","journal-title":"Art. Int."},{"key":"8_CR11","unstructured":"Siemens benchmark suite, \n                  \n                    http:\/\/pleuma.cc.gatech.edu\/aristotle\/Tools\/subjects"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13338-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T08:40:24Z","timestamp":1559032824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13338-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319133379","9783319133386"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13338-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}