{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:13:17Z","timestamp":1743041597634,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319212142"},{"type":"electronic","value":"9783319212159"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21215-9_3","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T13:36:34Z","timestamp":1437053794000},"page":"38-57","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Fast Model-Based Fault Localisation with Test Suites"],"prefix":"10.1007","author":[{"given":"Geoff","family":"Birch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Fischer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael R.","family":"Poppleton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Ahmadzadeh, M., Elliman, D., Higgins, C.: An analysis of patterns of debugging among novice computer science students. In: SIGCSE, pp. 84\u201388 (2005)","DOI":"10.1145\/1151954.1067472"},{"key":"3_CR2","unstructured":"Bendersky, E.: Pycparser: C parser and AST generator written in Python (2012). https:\/\/github.com\/eliben\/pycparser"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"10A","DOI":"10.1145\/1455518.1455522","volume":"12","author":"C Cadar","year":"2008","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: Automatically Generating Inputs of Death. ACM Trans. Inf. Syst. Secur. 12(2), 10A (2008)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Chandra, S., Torlak, E., Barman, S., Bodik, R.: Angelic debugging. In: ICSE, pp. 121\u2013130 (2011)","DOI":"10.1145\/1985793.1985811"},{"key":"3_CR5","unstructured":"Cheeseman, P., Kanefsky, B., Taylor, W.M.: Where the really hard problems are. In: IJCAI, pp. 331\u2013337 (1991)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: ICSE, pp. 342\u2013351 (2005)","DOI":"10.1145\/1062455.1062522"},{"key":"3_CR7","series-title":"LNCS","first-page":"85","volume-title":"AADEBUG 1993","author":"L Console","year":"1993","unstructured":"Console, L., Friedrich, G., Dupre, D.T.: Model-based diagnosis meets error diagnosis in logic programs. In: Fritzson, P.A. (ed.) AADEBUG 1993. LNCS, vol. 749, pp. 85\u201387. Springer, Heidelberg (1993)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proc. ACM Symposium on Theory of Computing, pp. 151\u2013158 (1971)","DOI":"10.1145\/800157.805047"},{"issue":"4","key":"3_CR9","doi-asserted-by":"publisher","first-page":"957","DOI":"10.1109\/TSE.2011.59","volume":"38","author":"L Cordeiro","year":"2012","unstructured":"Cordeiro, L., Fischer, B., Marques-Silva, J.: SMT-Based Bounded Model Checking for Embedded ANSI-C Software. IEEE Trans. Softw. Engg. 38(4), 957\u2013974 (2012)","journal-title":"IEEE Trans. Softw. Engg."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Do, H., Elbaum, S., Rothermel, G.: Supporting Controlled Experimentation with Testing Techniques. Empirical Softw. Engg., 405\u2013435 (2005)","DOI":"10.1007\/s10664-005-3861-2"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Griesmayer, A., Staber, S., Bloem, R.: Automated Fault Localization for C Programs. Electronic Notes in Theoretical Computer Science, 95\u2013111 (2007)","DOI":"10.1016\/j.entcs.2006.12.032"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","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."},{"issue":"3","key":"3_CR13","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A Groce","year":"2006","unstructured":"Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. Int. J. Softw. Tools Technol. Transf. 8(3), 229\u2013247 (2006)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-44829-2_8","volume-title":"Model Checking Software","author":"A Groce","year":"2003","unstructured":"Groce, A., Visser, W.: What Went Wrong: Explaining Counterexamples. In: Ball, T., Rajamani, S.K. (eds.) SPIN 2003. LNCS, vol. 2648, pp. 121\u2013135. Springer, Heidelberg (2003)"},{"key":"3_CR15","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria. In: ICSE, pp. 191\u2013200 (1994)"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical Evaluation of the Tarantula Automatic Fault-localization Technique. In: ASE, pp. 273\u2013282 (2005)","DOI":"10.1145\/1101908.1101949"},{"issue":"6","key":"3_CR17","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1145\/1993316.1993550","volume":"46","author":"M Jose","year":"2011","unstructured":"Jose, M., Majumdar, R.: Cause Clue Clauses: Error Localization Using Maximum Satisfiability. SIGPLAN Not 46(6), 437\u2013446 (2011)","journal-title":"SIGPLAN Not"},{"issue":"1","key":"3_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J de Kleer","year":"1987","unstructured":"de Kleer, J., Williams, B.: Diagnosing multiple faults. Artificial Intelligence 32(1), 97\u2013130 (1987)","journal-title":"Artificial Intelligence"},{"key":"3_CR19","unstructured":"Konighofer, R., Bloem, R.: Automated error localization and correction for imperative programs. In: FMCAD, pp. 91\u2013100 (2011)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-642-39611-3_11","volume-title":"Hardware and Software: Verification and Testing","author":"R K\u00f6nighofer","year":"2013","unstructured":"K\u00f6nighofer, R., Bloem, R.: Repair with On-The-Fly Program Analysis. In: Biere, A., Nahir, A., Vos, T. (eds.) HVC. LNCS, vol. 7857, pp. 56\u201371. Springer, Heidelberg (2013)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/978-3-319-13338-6_8","volume-title":"Hardware and Software: Verification and Testing","author":"R K\u00f6nighofer","year":"2014","unstructured":"K\u00f6nighofer, R., Toegl, R., Bloem, R.: Automatic Error Localization for Software Using Deductive Verification. In: Yahav, E. (ed.) HVC 2014. LNCS, vol. 8855, pp. 92\u201398. Springer, Heidelberg (2014)"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Le, H.M., Grosse, D., Drechsler, R.: Automatic TLM Fault Localization for SystemC. Trans. Comp.-Aided Des. Integ. Cir. Sys. 31(8), 1249\u20131262 (2012)","DOI":"10.1109\/TCAD.2012.2188800"},{"key":"3_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L de Moura","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"issue":"3","key":"3_CR24","doi-asserted-by":"publisher","first-page":"11A","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), 11A (2011)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Nelson, G., Oppen, D.C.: Simplification by Cooperating Decision Procedures. ACM Trans. Program. Lang. Syst., 245\u2013257 (1979)","DOI":"10.1145\/357073.357079"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: SemFix: program repair via semantic analysis. In: ICSE, pp. 772\u2013781 (2013)","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"3_CR27","unstructured":"Pham, H.: Software reliability. Springer (2000)"},{"issue":"1","key":"3_CR28","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. Artificial Intelligence 32(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"3_CR29","unstructured":"Renieres, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: ASE, pp. 30\u201339 (2003)"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Sahoo, S.K., Criswell, J., Geigle, C., Adve, V.: Using likely invariants for automated software fault localization. In: ASPLOS, pp. 139\u2013152 (2013)","DOI":"10.1145\/2499368.2451131"},{"key":"3_CR31","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":"3_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-72788-0_34","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2007","author":"S Staber","year":"2007","unstructured":"Staber, S., Bloem, R.: Fault Localization and Correction with QBF. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol. 4501, pp. 355\u2013368. Springer, Heidelberg (2007)"},{"key":"3_CR33","unstructured":"S\u00fclflow, A., Fey, G., Bloem, R., Drechsler, R.: Debugging design errors by using unsatisfiable cores. In: MBMV, pp. 159\u2013168 (2008)"},{"issue":"5","key":"3_CR34","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1016\/S0020-7373(85)80054-7","volume":"23","author":"I Vessey","year":"1985","unstructured":"Vessey, I.: Expertise in debugging computer programs: A process analysis. International Journal of Man-Machine Studies 23(5), 459\u2013494 (1985)","journal-title":"International Journal of Man-Machine Studies"},{"key":"3_CR35","unstructured":"Wong, W.E., Debroy, V.: A survey of software fault localization. Tech. Rep. UTDCS-45-09, Uni. of Texas at Dallas (2009)"},{"issue":"4","key":"3_CR36","doi-asserted-by":"publisher","first-page":"31A","DOI":"10.1145\/2522920.2522924","volume":"22","author":"X Xie","year":"2013","unstructured":"Xie, X., Chen, T.Y., Kuo, F.C., Xu, B.: A Theoretical Analysis of the Risk Evaluation Formulas for Spectrum-based Fault Localization. ACM Trans. Softw. Eng. Methodol. 22(4), 31A (2013)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"6","key":"3_CR37","first-page":"253","volume":"24","author":"A Zeller","year":"1999","unstructured":"Zeller, A.: Yesterday, my program worked. Today, it does not. Why? SIGSOFT Softw. Eng. Notes 24(6), 253\u2013267 (1999)","journal-title":"Notes"}],"container-title":["Lecture Notes in Computer Science","Tests and Proofs"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21215-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T13:04:08Z","timestamp":1676466248000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21215-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319212142","9783319212159"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21215-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}