{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:05:35Z","timestamp":1725865535012},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319465197"},{"type":"electronic","value":"9783319465203"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46520-3_29","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T10:40:27Z","timestamp":1474454427000},"page":"463-478","source":"Crossref","is-referenced-by-count":5,"title":["A Sketching-Based Approach for Debugging Using Test Cases"],"prefix":"10.1007","author":[{"given":"Jinru","family":"Hua","sequence":"first","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"29_CR1","unstructured":"The Sketch Programmers Manual. https:\/\/people.csail.mit.edu\/asolar\/manual.pdf . Accessed 07 05 2016"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on Java predicates. In: ISSTA, pp. 123\u2013133 (2002)","DOI":"10.1145\/566172.566191"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Chandra, S., Torlak, E., Barman, S., Bod\u00edk, R.: Angelic debugging. In: ICSE (2011)","DOI":"10.1145\/1985793.1985811"},{"key":"29_CR4","volume-title":"Introduction to Algorithms","author":"TH Cormen","year":"2009","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)","edition":"3"},{"key":"29_CR5","first-page":"65","volume":"2010","author":"V Debroy","year":"2010","unstructured":"Debroy, V., Wong, W.E.: Using mutation to automatically suggest fixes for faulty programs. ICST 2010, 65\u201374 (2010)","journal-title":"ICST"},{"key":"29_CR6","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1145\/1146238.1146266","volume":"2006","author":"B Demsky","year":"2006","unstructured":"Demsky, B., Ernst, M.D., Guo, P.J., McCamant, S., Perkins, J.H., Rinard, M.C.: Inference and enforcement of data structure consistency specifications. ISSTA 2006, 233\u2013244 (2006)","journal-title":"ISSTA"},{"key":"29_CR7","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1145\/2737924.2737977","volume":"2015","author":"JK Feser","year":"2015","unstructured":"Feser, J.K., Chaudhuri, S., Dillig, I.: Synthesizing data structure transformations from input-output examples. PLDI 2015, 229\u2013239 (2015)","journal-title":"PLDI"},{"key":"29_CR8","unstructured":"Gopinath, D.: Systematic techniques for more effective fault localization and program repair. Ph.D. thesis, University of Texas at Austin (2015)"},{"key":"29_CR9","first-page":"243","volume":"2014","author":"D Gopinath","year":"2014","unstructured":"Gopinath, D., Khurshid, S., Saha, D., Chandra, S.: Data-guided repair of selection statements. ICSE 2014, 243\u2013253 (2014)","journal-title":"ICSE"},{"key":"29_CR10","first-page":"173","volume":"2011","author":"D Gopinath","year":"2011","unstructured":"Gopinath, D., Malik, M.Z., Khurshid, S.: Specification-based program repair using SAT. TACAS 2011, 173\u2013188 (2011)","journal-title":"TACAS"},{"key":"29_CR11","doi-asserted-by":"crossref","first-page":"934","DOI":"10.1145\/2786805.2803189","volume":"2015","author":"J Jeon","year":"2015","unstructured":"Jeon, J., Qiu, X., Foster, J.S., Solar-Lezama, A.: JSketch: sketching for Java. ESEC\/FSE 2015, 934\u2013937 (2015)","journal-title":"ESEC\/FSE"},{"key":"29_CR12","first-page":"215","volume":"2010","author":"S Jha","year":"2010","unstructured":"Jha, S., Gulwani, S., Seshia, S.A., Tiwari, A.: Oracle-guided component-based program synthesis. ICSE 2010, 215\u2013224 (2010)","journal-title":"ICSE"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J.: Empirical evaluation of the tarantula automatic fault-localization technique. In: (ASE 2005), pp. 273\u2013282 (2005)","DOI":"10.1145\/1101908.1101949"},{"key":"29_CR14","first-page":"802","volume":"2013","author":"D Kim","year":"2013","unstructured":"Kim, D., Nam, J., Song, J., Kim, S.: Automatic patch generation learned from human-written patches. ICSE 2013, 802\u2013811 (2013)","journal-title":"ICSE"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/978-3-319-21668-3_13","volume-title":"Computer Aided Verification","author":"E Kneuss","year":"2015","unstructured":"Kneuss, E., Koukoutos, M., Kuncak, V.: Deductive program repair. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9207, pp. 217\u2013233. Springer, Heidelberg (2015)"},{"issue":"1","key":"29_CR16","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/TSE.2011.104","volume":"38","author":"C Goues Le","year":"2012","unstructured":"Le Goues, C., Nguyen, T., Forrest, S., Weimer, W.: GenProg: a generic method for automatic software repair. IEEE Trans. Softw. Eng. 38(1), 54\u201372 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"29_CR17","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1145\/2786805.2786811","volume":"2015","author":"F Long","year":"2015","unstructured":"Long, F., Rinard, M.: Staged program repair with condition synthesis. ESEC\/FSE 2015, 166\u2013178 (2015)","journal-title":"ESEC\/FSE"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Malik, M.Z., Ghori, K., Elkarablieh, B., Khurshid, S.: A case for automated debugging using data structure repair. In: ASE, pp. 620\u2013624 (2009)","DOI":"10.1109\/ASE.2009.92"},{"key":"29_CR19","doi-asserted-by":"crossref","unstructured":"Mechtaev, S., Yi, J., Roychoudhury, A.: Angelix: scalable multiline program patch synthesis via symbolic analysis. In: ICSE 2016 (2016)","DOI":"10.1145\/2884781.2884807"},{"key":"29_CR20","first-page":"772","volume":"2013","author":"HDT Nguyen","year":"2013","unstructured":"Nguyen, H.D.T., Qi, D., Roychoudhury, A., Chandra, S.: SemFix: program repair via semantic analysis. ICSE 2013, 772\u2013781 (2013)","journal-title":"ICSE"},{"issue":"5","key":"29_CR21","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1109\/TSE.2014.2312918","volume":"40","author":"Y Pei","year":"2014","unstructured":"Pei, Y., Furia, C.A., Nordio, M., Wei, Y., Meyer, B., Zeller, A.: Automated fixing of programs with contracts. IEEE Trans. Softw. Eng. 40(5), 427\u2013449 (2014)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"29_CR22","doi-asserted-by":"crossref","unstructured":"Qi, Z., Long, F., Achour, S., Rinard, M.C.: An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. In: ISSTA (2015)","DOI":"10.1145\/2771783.2771791"},{"key":"29_CR23","first-page":"345","volume":"2013","author":"RK Saha","year":"2013","unstructured":"Saha, R.K., Lease, M., Khurshid, S., Perry, D.E.: Improving bug localization using structured information retrieval. ASE 2013, 345\u2013355 (2013)","journal-title":"ASE"},{"key":"29_CR24","doi-asserted-by":"crossref","unstructured":"Singh, R., Gulwani, S., Solar-Lezama, A.: Automated feedback generation for introductory programming assignments. In: PLDI 2013, pp. 15\u201326 (2013)","DOI":"10.1145\/2491956.2462195"},{"key":"29_CR25","doi-asserted-by":"crossref","first-page":"532","DOI":"10.1145\/2786805.2786825","volume":"2015","author":"EK Smith","year":"2015","unstructured":"Smith, E.K., Barr, E.T., Le Goues, C., Brun, Y.: Is the cure worse than the disease? overfitting in automated program repair. ESEC\/FSE 2015, 532\u2013543 (2015)","journal-title":"ESEC\/FSE"},{"issue":"5\u20136","key":"29_CR26","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/s10009-012-0249-7","volume":"15","author":"A Solar-Lezama","year":"2013","unstructured":"Solar-Lezama, A.: Program sketching. STTT 15(5\u20136), 475\u2013495 (2013)","journal-title":"STTT"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46520-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,8]],"date-time":"2022-07-08T22:40:46Z","timestamp":1657320046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46520-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319465197","9783319465203"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46520-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}