{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T04:11:16Z","timestamp":1750824676122,"version":"3.41.0"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T00:00:00Z","timestamp":1501113600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["1239954"],"award-info":[{"award-number":["1239954"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,2]]},"DOI":"10.1007\/s10270-017-0612-y","type":"journal-article","created":{"date-parts":[[2017,7,27]],"date-time":"2017-07-27T11:10:38Z","timestamp":1501153838000},"page":"445-471","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Fast test suite-driven model-based fault localisation with application to pinpointing defects in student programs"],"prefix":"10.1007","volume":"18","author":[{"given":"Geoff","family":"Birch","sequence":"first","affiliation":[]},{"given":"Bernd","family":"Fischer","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Poppleton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,27]]},"reference":[{"key":"612_CR1","doi-asserted-by":"crossref","unstructured":"Ahmadzadeh, M., Elliman, D., Higgins, C.: An analysis of patterns of debugging among novice computer science students. In: Proceedings of the 10th Annual Conference on Innovation and Technology in Computer Science Education, (ITiCSE\u201905), pp. 84\u201388. ACM (2005)","DOI":"10.1145\/1067445.1067472"},{"key":"612_CR2","doi-asserted-by":"crossref","unstructured":"Antonucci, P., Estler, C., Nikoli\u0107, D., Piccioni, M., Meyer, B.: An incremental hint system for automated programming assignments. In: Proceedings of the 20th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201915), pp. 320\u2013325. ACM (2015)","DOI":"10.1145\/2729094.2742607"},{"key":"612_CR3","unstructured":"Bendersky, E.: PyCParser C Parser and AST Generator Written in Python. http:\/\/github.com\/eliben\/pycparser (2012)"},{"key":"612_CR4","doi-asserted-by":"crossref","unstructured":"Benford, S.D., Burke, E.K., Foxley, E., Higgins, C.A.: The Ceilidh system for the automatic grading of students on programming courses. In: Proceedings of the 33rd Annual Southeast Regional Conference, ACM-SE 33, pp. 176\u2013182. ACM (1995)","DOI":"10.1145\/1122018.1122050"},{"key":"612_CR5","doi-asserted-by":"crossref","unstructured":"Birch, G., Fischer, B., Poppleton, M.: Fast model-based fault localisation with test suites. In: Proceedings of the 9th International Conference on Tests and Proofs, TAP\u201915, LNCS vol. 9154, pp. 38\u201357. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-21215-9_3"},{"key":"612_CR6","doi-asserted-by":"crossref","unstructured":"Birch, G., Fischer, B., Poppleton, M.: Using fast model-based fault localisation to aid students in self-guided program repair and to improve assessment. In: Proceedings of the 21st Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201916), pp. 168\u2013173. ACM (2016)","DOI":"10.1145\/2899415.2899433"},{"key":"612_CR7","doi-asserted-by":"crossref","unstructured":"Blau, H., Moss, J.E.B.: FrenchPress gives students automated feedback on java program flaws. In: Proceedings of the 20th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201915), pp. 15\u201320. ACM (2015)","DOI":"10.1145\/2729094.2742622"},{"key":"612_CR8","doi-asserted-by":"crossref","unstructured":"Buffardi, K., Edwards, S.H.: Exploring influences on student adherence to test-driven development. In: Proceedings of the 17th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201912), pp. 105\u2013110. ACM (2012)","DOI":"10.1145\/2325296.2325324"},{"key":"612_CR9","doi-asserted-by":"crossref","unstructured":"Buffardi, K., Edwards, S.H.: Responses to adaptive feedback for software testing. In: Proceedings of the 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201914), pp. 165\u2013170. ACM (2014)","DOI":"10.1145\/2591708.2591756"},{"key":"612_CR10","doi-asserted-by":"crossref","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: Automatically generating inputs of death. In: Transactions on Information and System Security, vol. 12(2), p. 10A. ACM (2008)","DOI":"10.1145\/1455518.1455522"},{"key":"612_CR11","unstructured":"Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908), pp. 209\u2013224. USENIX (2008)"},{"key":"612_CR12","doi-asserted-by":"crossref","unstructured":"Chandra, S., Torlak, E., Barman, S., Bodik, R.: Angelic debugging. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE\u201911), pp. 121\u2013130. ACM (2011)","DOI":"10.1145\/1985793.1985811"},{"key":"612_CR13","unstructured":"Cheeseman, P., Kanefsky, B., Taylor, W.M.: Where the really hard problems are. In: Proceedings of the 12th International Joint Conference on Artificial Intelligence, vol. 1, (IJCAI\u201991), pp. 331\u2013337. Morgan Kaufmann (1991)"},{"key":"612_CR14","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: Proceedings of the 27th International Conference on Software Engineering (ICSE\u201905), pp. 342\u2013351. ACM (2005)","DOI":"10.1145\/1062455.1062522"},{"key":"612_CR15","doi-asserted-by":"crossref","unstructured":"Console, L., Friedrich, G., Dupr\u00e9, D.T.: Model-based diagnosis meets error diagnosis in logic programs. In: Proceedings of the 1st International Workshop on Automated and Algorithmic Debugging (AADEBUG\u201993), pp. 85\u201387. Springer, Berlin (1993)","DOI":"10.1007\/BFb0019402"},{"key":"612_CR16","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the 3rd Annual Symposium on Theory of Computing (STOC\u201971), pp. 151\u2013158. ACM (1971)","DOI":"10.1145\/800157.805047"},{"issue":"4","key":"612_CR17","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. Trans. Softw. Eng. 38(4), 957\u2013974 (2012). IEEE","journal-title":"Trans. Softw. Eng."},{"issue":"1","key":"612_CR18","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1987). Elsevier","journal-title":"Artif. Intell."},{"key":"612_CR19","doi-asserted-by":"crossref","unstructured":"Denny, P., Reilly, A.L., Carpenter, D.: Enhancing syntax error messages appears ineffectual. In: Proceedings of the 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201914), pp. 273\u2013278. ACM (2014)","DOI":"10.1145\/2591708.2591748"},{"issue":"4","key":"612_CR20","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/s10664-005-3861-2","volume":"10","author":"H Do","year":"2005","unstructured":"Do, H., Elbaum, S., Rothermel, G.: Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact. Empir. Softw. Eng. 10(4), 405\u2013435 (2005). Springer","journal-title":"Empir. Softw. Eng."},{"key":"612_CR21","doi-asserted-by":"crossref","unstructured":"Edwards, S.H.: Using software testing to move students from trial-and-error to reflection-in-action. In: Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education (SIGCSE\u201904), pp. 26\u201330. ACM (2004)","DOI":"10.1145\/971300.971312"},{"key":"612_CR22","unstructured":"GCC\u2019s GCov Source Code Coverage Analysis Tool. http:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Gcov.html"},{"key":"612_CR23","doi-asserted-by":"crossref","unstructured":"Griesmayer, A., Staber, S., Bloem, R.: Automated fault localization for C programs. In: Proceedings of the Workshop on Verification and Debugging (V&D\u201906), ENTCS, vol. 174(4), pp. 95\u2013111. Elsevier (2007)","DOI":"10.1016\/j.entcs.2006.12.032"},{"issue":"2","key":"612_CR24","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). Wiley","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"3","key":"612_CR25","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). Springer","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"612_CR26","doi-asserted-by":"crossref","unstructured":"Groce, A., Visser, W.: What went wrong: explaining counterexamples. In: Proceedings of the 10th International Conference on Model Checking Software (SPIN\u201903), pp. 121\u2013136. Springer, Berlin (2003)","DOI":"10.1007\/3-540-44829-2_8"},{"key":"612_CR27","unstructured":"Hawk-Eye Statement Coverage-Based Tool for Automatic Fault Localization. http:\/\/code.google.com\/archive\/p\/hawk-eye\/ (2010)"},{"key":"612_CR28","doi-asserted-by":"crossref","unstructured":"Helmick, M.T.: Interface-based programming assignments and automatic grading of java programs. In: Proceedings of the 12th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201907), pp. 63\u201367. ACM (2007)","DOI":"10.1145\/1268784.1268805"},{"key":"612_CR29","doi-asserted-by":"crossref","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria. In: Proceedings of the 16th International Conference on Software Engineering (ICSE-16), pp. 191\u2013200. IEEE (1994)","DOI":"10.1109\/ICSE.1994.296778"},{"key":"612_CR30","doi-asserted-by":"crossref","unstructured":"Insa, D., Silva, J.: Semi-automatic assessment of unrestrained java code: a library, a DSL, and a workbench to assess exams and exercises. In: Proceedings of the 20th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201915), pp. 39\u201344. ACM (2015)","DOI":"10.1145\/2729094.2742615"},{"key":"612_CR31","doi-asserted-by":"crossref","unstructured":"Jackson, D., Usher, M.: Grading student programs using ASSYST. In: Proceedings of the 28th SIGCSE Technical Symposium on Computer Science Education (SIGCSE\u201997), pp. 335\u2013339. ACM (1997)","DOI":"10.1145\/268084.268210"},{"issue":"6","key":"612_CR32","doi-asserted-by":"publisher","first-page":"1004","DOI":"10.1016\/j.infsof.2012.12.005","volume":"55","author":"MV Jani\u010di\u0107","year":"2013","unstructured":"Jani\u010di\u0107, M.V., Nikoli\u0107, M., To\u0161i\u0107, D., Kuncak, V.: Software verification and graph similarity for automated evaluation of students\u2019 assignments. Inf. Softw. Technol. 55(6), 1004\u20131016 (2013). Elsevier","journal-title":"Inf. Softw. Technol."},{"key":"612_CR33","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 International Conference on Automated Software Engineering (ASE\u201905), pp. 273\u2013282. ACM (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"612_CR34","doi-asserted-by":"crossref","unstructured":"Jose, M., Majumdar, R.: Cause clue clauses: error localization using maximum satisfiability. In: Proceedings of the 32nd Conference on Programming Language Design and Implementation (PLDI\u201911), pp. 437\u2013446. ACM (2011)","DOI":"10.1145\/1993498.1993550"},{"issue":"3","key":"612_CR35","doi-asserted-by":"publisher","first-page":"2A","DOI":"10.1145\/1163405.1163407","volume":"5","author":"M Joy","year":"2005","unstructured":"Joy, M., Griffiths, N., Boyatt, R.: The boss online submission and assessment system. J. Educ. Resour. Comput. 5(3), 2A (2005). ACM","journal-title":"J. Educ. Resour. Comput."},{"key":"612_CR36","unstructured":"K\u00f6nighofer, R., Bloem, R.: Automated error localization and correction for imperative programs. In: Proceedings of the International Conference on Formal Methods in Computer-Aided Design (FMCAD\u201911), pp. 91\u2013100. IEEE (2011)"},{"key":"612_CR37","doi-asserted-by":"crossref","unstructured":"K\u00f6nighofer, R., Bloem, R.: Repair with on-the-fly program analysis. In: Proceedings of the 8th International Haifa Verification Conference (HVC\u201912), LNCS vol. 7857, pp. 56\u201371. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-39611-3_11"},{"key":"612_CR38","doi-asserted-by":"crossref","unstructured":"K\u00f6nighofer, R., Toegl, R., Bloem, R.: Automatic error localization for software using deductive verification. In: Proceedings of the 10th International Haifa Verification Conference (HVC\u201914), LNCS, vol. 8855, pp. 92\u201398. Springer, Berlin (2014)","DOI":"10.1007\/978-3-319-13338-6_8"},{"key":"612_CR39","doi-asserted-by":"crossref","unstructured":"Laakso, M.J., Salakoski, T., Korhonen, A., Malmi, L.: Automatic assessment of exercises for algorithms and data structures\u2014a case study with TRAKLA2. In: Proceedings of the 4th Finnish\/Baltic Sea Conference on Computer Science Education, pp. 28\u201336. Uni. of Joensuu (2004)","DOI":"10.15388\/infedu.2005.04"},{"key":"612_CR40","doi-asserted-by":"crossref","unstructured":"Le, H.M., Grosse, D., Drechsler, R.: Automatic TLM fault localization for SystemC. Trans. Comput. Aided Des. Integr. Circuits Syst. 31(8), 1249\u20131262 (2012). IEEE","DOI":"10.1109\/TCAD.2012.2188800"},{"key":"612_CR41","doi-asserted-by":"crossref","unstructured":"Lister, R., Clear, T., Simon, Bouvier, D.J., Carter, P., Eckerdal, A., Jackov\u00e1, J., Lopez, M., McCartney, R., Robbins, P., Sepp\u00e4l\u00e4, O., Thompson, E.: Naturally occurring data as research instrument: analyzing examination responses to study the novice programmer. In: SIGCSE Bulletin, vol. 41(4), pp. 156\u2013173. ACM (2010)","DOI":"10.1145\/1709424.1709460"},{"key":"612_CR42","doi-asserted-by":"crossref","unstructured":"MacWilliam, T., Malan, D.J.: Streamlining grading toward better feedback. In: Proceedings of the 18th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201913), pp. 147\u2013152. ACM (2013)","DOI":"10.1145\/2462476.2462506"},{"key":"612_CR43","doi-asserted-by":"crossref","unstructured":"Malmi, L., Korhonen, A., Saikkonen, R.: Experiences in automatic assessment on mass courses and issues for designing virtual courses. In: Proceedings of the 7th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201902), pp. 55\u201359. ACM (2002)","DOI":"10.1145\/544414.544433"},{"key":"612_CR44","doi-asserted-by":"crossref","unstructured":"McCracken, M., Almstrum, V., Diaz, D., Guzdial, M., Hagan, D., Kolikant, Y.B.D., Laxer, C., Thomas, L., Utting, I., Wilusz, T.: A multi-national, multi-institutional study of assessment of programming skills of first-year CS students. In: Working Group Reports from 6th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE-WGR\u201901), pp. 125\u2013180. ACM (2001)","DOI":"10.1145\/572133.572137"},{"key":"612_CR45","doi-asserted-by":"crossref","unstructured":"Naish, L., Lee, H.J., Ramamohanarao, K.: A model for spectra-based software diagnosis. In: Trans. Softw. Eng. Methodol. 20(3), 11A (2011)","DOI":"10.1145\/2000791.2000795"},{"issue":"2","key":"612_CR46","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G Nelson","year":"1979","unstructured":"Nelson, G., Oppen, D.C.: Simplification by cooperating decision procedures. Trans. Program. Lang. Syst. 1(2), 245\u2013257 (1979). ACM","journal-title":"Trans. Program. Lang. Syst."},{"key":"612_CR47","doi-asserted-by":"crossref","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: SemFix: program repair via semantic analysis. In: Proceedings of the 35th International Conference on Software Engineering (ICSE\u201913), pp. 772\u2013781. ACM (2013)","DOI":"10.1109\/ICSE.2013.6606623"},{"key":"612_CR48","doi-asserted-by":"crossref","unstructured":"Parnin, C., Orso, A.: Are automated debugging techniques actually helping programmers? In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA\u201911), pp. 199\u2013209. ACM (2011)","DOI":"10.1145\/2001420.2001445"},{"issue":"1","key":"612_CR49","doi-asserted-by":"publisher","first-page":"37","DOI":"10.2190\/GUJT-JCBJ-Q6QU-Q9PL","volume":"2","author":"DN Perkins","year":"1986","unstructured":"Perkins, D.N., Hancock, C., Hobbs, R., Martin, F., Simmons, R.: Conditions of learning in novice programmers. J. Educ. Comput. Res. 2(1), 37\u201355 (1986). Sage","journal-title":"J. Educ. Comput. Res."},{"key":"612_CR50","volume-title":"Software Reliability","author":"H Pham","year":"2000","unstructured":"Pham, H.: Software Reliability. Springer, Berlin (2000)"},{"issue":"2","key":"612_CR51","doi-asserted-by":"publisher","first-page":"12","DOI":"10.4018\/ijqaete.2014040102","volume":"3","author":"LH Pham","year":"2014","unstructured":"Pham, L.H., Trinh, G.V., Dinh, M.H., Mai, N.P., Quan, T.T., Ngo, H.Q.: Assisting students in finding bugs and their locations in programming solutions. Int. J. Qual. Assur. Eng. Technol. Educ. 3(2), 12\u201327 (2014). IGI","journal-title":"Int. J. Qual. Assur. Eng. Technol. Educ."},{"key":"612_CR52","unstructured":"Pieterse, V.: Automated assessment of programming assignments. In: Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research (CSERC\u201913), pp. 45\u201356. ACM (2013)"},{"key":"612_CR53","doi-asserted-by":"crossref","unstructured":"Reilly, A.L., Denny, P., Kirk, D., Tempero, E., Yu, S.Y.: On the differences between correct student solutions. In: Proceedings of the 18th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201913), pp. 177\u2013182. ACM (2013)","DOI":"10.1145\/2462476.2462505"},{"issue":"1","key":"612_CR54","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. Artif. Intell. 32(1), 57\u201395 (1987). Elsevier","journal-title":"Artif. Intell."},{"key":"612_CR55","doi-asserted-by":"crossref","unstructured":"Renieres, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Proceedings of the 18th International Conference on Automated Software Engineering (ASE\u201903), pp. 30\u201339. IEEE (2003)","DOI":"10.1109\/ASE.2003.1240292"},{"key":"612_CR56","doi-asserted-by":"crossref","unstructured":"Sahoo, S.K., Criswell, J., Geigle, C., Adve, V.: Using likely invariants for automated software fault localization. In: Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS\u201913), pp. 139\u2013152. ACM (2013)","DOI":"10.1145\/2451116.2451131"},{"key":"612_CR57","doi-asserted-by":"crossref","unstructured":"Saikkonen, R., Malmi, L., Korhonen, A.: Fully automatic assessment of programming exercises. In: Proceedings of the 6th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201901), pp. 133\u2013136. ACM (2001)","DOI":"10.1145\/377435.377666"},{"key":"612_CR58","doi-asserted-by":"crossref","unstructured":"Santelices, R., Jones, J.A., Yu, Y., Harrold, M.J.: Lightweight fault-localization using multiple coverage types. In: Proceedings of the 31st International Conference on Software Engineering (ICSE\u201909), pp. 56\u201366. IEEE (2009)","DOI":"10.1109\/ICSE.2009.5070508"},{"key":"612_CR59","doi-asserted-by":"crossref","unstructured":"Singh, R., Gulwani, S., Lezama, A.S.: Automated feedback generation for introductory programming assignments. In: Proceedings of the 34th Conference on Programming Language Design and Implementation (PLDI\u201913), pp. 15\u201326. ACM (2013)","DOI":"10.1145\/2491956.2462195"},{"key":"612_CR60","volume-title":"Studying the Novice Programmer","author":"E Soloway","year":"1988","unstructured":"Soloway, E., Spohrer, J.C.: Studying the Novice Programmer. Erlbaum, Hillsdale (1988)"},{"key":"612_CR61","doi-asserted-by":"crossref","unstructured":"Spacco, J., Fossati, D., Stamper, J., Rivers, K.: Towards improving programming habits to create better computer science course outcomes. In: Proceedings of the 18th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201913), pp. 243\u2013248. ACM (2013)","DOI":"10.1145\/2462476.2465594"},{"key":"612_CR62","doi-asserted-by":"crossref","unstructured":"Staber, S., Bloem, R.: Fault localization and correction with QBF. In: Proceedings of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT\u201907), LNCS vol. 4501, pp. 355\u2013368. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-72788-0_34"},{"key":"612_CR63","doi-asserted-by":"crossref","unstructured":"Striewe, M., Balz, M., Goedicke, M.: A flexible and modular software architecture for computer aided assessments and automated marking. In: Proceedings of the 1st International Conference on Computer Supported Education (CSEDU\u201909) pp. 54\u201361. INSTICC (2009)","DOI":"10.5220\/0001966900540061"},{"key":"612_CR64","unstructured":"S\u00fclflow, A., Fey, G., Bloem, R., Drechsler, R.: Debugging design errors by using unsatisfiable cores. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV\u201908), pp. 159\u2013168. ITG\/GI\/GMM Workshop (2008)"},{"key":"612_CR65","doi-asserted-by":"crossref","unstructured":"Tillmann, N., De\u00a0Halleux, J., Xie, T., Gulwani, S., Bishop, J.: Teaching and learning programming and software engineering via interactive gaming. In: Proceedings of the 35th International Conference on Software Engineering (ICSE\u201913), pp. 1117\u20131126. IEEE (2013)","DOI":"10.1109\/ICSE.2013.6606662"},{"issue":"5","key":"612_CR66","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. Int. J. Man Mach. Stud. 23(5), 459\u2013494 (1985). Academic Press","journal-title":"Int. J. Man Mach. Stud."},{"key":"612_CR67","doi-asserted-by":"crossref","unstructured":"Wang, Q., Parnin, C., Orso, A.: Evaluating the usefulness of IR-based fault localization techniques. In: Proceedings of the International Symposium on Software Testing and Analysis (ISSTA\u201915), pp. 1\u201311. ACM (2015)","DOI":"10.1145\/2771783.2771797"},{"key":"612_CR68","doi-asserted-by":"crossref","unstructured":"Whalley, J., Kasto, N.: A qualitative think-aloud study of novice programmers\u2019 code writing strategies. In: Proceedings of the 19th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE\u201914), pp. 279\u2013284. ACM (2014)","DOI":"10.1145\/2591708.2591762"},{"issue":"8","key":"612_CR69","doi-asserted-by":"publisher","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. Trans. Softw. Eng. 42(8), 707\u2013740 (2016). IEEE","journal-title":"Trans. Softw. Eng."},{"issue":"2","key":"612_CR70","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1111\/j.1469-7610.1976.tb00381.x","volume":"17","author":"D Wood","year":"1976","unstructured":"Wood, D., Bruner, J.S., Ross, G.: The role of tutoring in problem solving. J. Child Psychol. Psychiatry 17(2), 89\u2013100 (1976). Pergamon","journal-title":"J. Child Psychol. Psychiatry"},{"issue":"4","key":"612_CR71","first-page":"31A","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. Trans. Softw. Eng. Methodol. 22(4), 31A (2013). ACM","journal-title":"Trans. Softw. Eng. Methodol."},{"key":"612_CR72","doi-asserted-by":"crossref","unstructured":"Xie, X., Kuo, F.C., Chen, T.Y., Yoo, S., Harman, M.: Provably optimal and human-competitive results in SBSE for spectrum based fault localisation. In: Proceedings of the 5th International Symposium on Search Based Software Engineering (SSBSE\u201913), LNCS vol. 8084, pp. 224\u2013238. Springer, Berin (2013)","DOI":"10.1007\/978-3-642-39742-4_17"},{"key":"612_CR73","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Yesterday, my program worked. Today, it does not. Why? In: Proceedings of the 7th European Software Engineering Conference, ESEC\/FSE-7, LNCS vol. 1687, pp. 253\u2013267. Springer, Berlin (1999)","DOI":"10.1007\/3-540-48166-4_16"},{"key":"612_CR74","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains with AskIgor. In: Proceedings of the 11th IEEE International Workshop on Program Comprehension (IWPC\u201903), pp. 296\u2013297. IEEE (2003)","DOI":"10.1109\/WPC.2003.1199221"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-017-0612-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0612-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-017-0612-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T18:25:07Z","timestamp":1750789507000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-017-0612-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7,27]]},"references-count":74,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,2]]}},"alternative-id":["612"],"URL":"https:\/\/doi.org\/10.1007\/s10270-017-0612-y","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"type":"print","value":"1619-1366"},{"type":"electronic","value":"1619-1374"}],"subject":[],"published":{"date-parts":[[2017,7,27]]},"assertion":[{"value":"17 June 2016","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 March 2017","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 July 2017","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 July 2017","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}