{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T20:01:28Z","timestamp":1725739288832},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642396106"},{"type":"electronic","value":"9783642396113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39611-3_11","type":"book-chapter","created":{"date-parts":[[2013,7,3]],"date-time":"2013-07-03T22:33:07Z","timestamp":1372890787000},"page":"56-71","source":"Crossref","is-referenced-by-count":8,"title":["Repair with On-The-Fly Program Analysis"],"prefix":"10.1007","author":[{"given":"Robert","family":"K\u00f6nighofer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roderick","family":"Bloem","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Arcuri, A.: On the automation of fixing software bugs. In: ICSE, pp. 1003\u20131006. ACM (2008)","key":"11_CR1","DOI":"10.1145\/1370175.1370223"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/978-3-642-39611-3_24","volume-title":"HVC 2012","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)"},{"doi-asserted-by":"crossref","unstructured":"Burnim, J., Sen, K.: Heuristics for scalable dynamic test generation. In: ASE, pp. 443\u2013446. IEEE (2008)","key":"11_CR3","DOI":"10.1109\/ASE.2008.69"},{"doi-asserted-by":"crossref","unstructured":"Chang, K.-H., Markov, I.L., Bertacco, V.: Fixing design errors with counterexamples and resynthesis. In: ASP-DAC, pp. 944\u2013949. IEEE (2007)","key":"11_CR4","DOI":"10.1109\/ASPDAC.2007.358111"},{"issue":"3","key":"11_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1109\/TSE.1976.233817","volume":"2","author":"L.A. Clarke","year":"1976","unstructured":"Clarke, L.A.: A system to generate test data and symbolically execute programs. IEEE Trans. Software Eng.\u00a02(3), 215\u2013222 (1976)","journal-title":"IEEE Trans. Software Eng."},{"doi-asserted-by":"crossref","unstructured":"Dallmeier, V., Zeller, A., Meyer, B.: Generating fixes from object behavior anomalies. In: ASE, pp. 550\u2013554. IEEE (2009)","key":"11_CR6","DOI":"10.1109\/ASE.2009.15"},{"doi-asserted-by":"crossref","unstructured":"Debroy, V., Wong, W.E.: Using mutation to automatically suggest fixes for faulty programs. In: ICST, pp. 65\u201374. IEEE (2010)","key":"11_CR7","DOI":"10.1109\/ICST.2010.66"},{"doi-asserted-by":"crossref","unstructured":"Forrest, S., Nguyen, T., Weimer, W., Le Goues, C.: A genetic programming approach to automated software repair. In: GECCO, pp. 947\u2013954. ACM (2009)","key":"11_CR8","DOI":"10.1145\/1569901.1570031"},{"doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: Directed automated random testing. In: PLDI, pp. 213\u2013223. ACM (2005)","key":"11_CR9","DOI":"10.1145\/1064978.1065036"},{"issue":"1","key":"11_CR10","doi-asserted-by":"publisher","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. Software Eng.\u00a038(1), 54\u201372 (2012)","journal-title":"IEEE Trans. Software Eng."},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/11817963_33","volume-title":"Computer Aided Verification","author":"A. Griesmayer","year":"2006","unstructured":"Griesmayer, A., Bloem, R., Cook, B.: Repair of Boolean programs with an application to C. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144, pp. 358\u2013371. Springer, Heidelberg (2006)"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11513988_23","volume-title":"Computer Aided Verification","author":"B. Jobstmann","year":"2005","unstructured":"Jobstmann, B., Griesmayer, A., Bloem, R.: Program repair as a game. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576, pp. 226\u2013238. Springer, Heidelberg (2005)"},{"issue":"2","key":"11_CR13","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.jcss.2011.05.005","volume":"78","author":"B. Jobstmann","year":"2012","unstructured":"Jobstmann, B., Staber, S., Griesmayer, A., Bloem, R.: Finding and fixing faults. Journal of Computer and System Sciences\u00a078(2), 441\u2013460 (2012)","journal-title":"Journal of Computer and System Sciences"},{"issue":"7","key":"11_CR14","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"unstructured":"Koenighofer, R., Bloem, R.: Automated error localization and correction for imperative programs. In: FMCAD, pp. 91\u2013100. IEEE (2011)","key":"11_CR15"},{"doi-asserted-by":"crossref","unstructured":"Raik, J., Repinski, U., Hantson, H., Jenihhin, M., Di Guglielmo, G., Pravadelli, G., Fummi, F.: Combining dynamic slicing and mutation operators for ESL correction. In: ETS, pp. 1\u20136. IEEE (2012)","key":"11_CR16","DOI":"10.1109\/ETS.2012.6233020"},{"doi-asserted-by":"crossref","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: A concolic unit testing engine for C. In: ESEC\/FSE, pp. 263\u2013272. ACM (2005)","key":"11_CR17","DOI":"10.21236\/ADA482657"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/978-3-642-10672-9_3","volume-title":"Programming Languages and Systems","author":"A. Solar-Lezama","year":"2009","unstructured":"Solar-Lezama, A.: The sketching approach to program synthesis. In: Hu, Z. (ed.) APLAS 2009. LNCS, vol.\u00a05904, pp. 4\u201313. Springer, Heidelberg (2009)"},{"doi-asserted-by":"crossref","unstructured":"Solar-Lezama, A., Tancau, L., Bodik, R., Saraswat, V., Seshia, S.A.: Combinatorial sketching for finite programs. In: ASPLOS, pp. 404\u2013415. ACM (2006)","key":"11_CR19","DOI":"10.1145\/1168918.1168907"},{"unstructured":"Siemens suite, \n                  \n                    http:\/\/pleuma.cc.gatech.edu\/aristotle\/Tools\/subjects","key":"11_CR20"},{"doi-asserted-by":"crossref","unstructured":"Wei, Y., Pei, Y., Furia, C.A., Silva, L.S., Buchholz, S., Meyer, B., Zeller, A.: Automated fixing of programs with contracts. In: ISSTA, pp. 61\u201372. ACM (2010)","key":"11_CR21","DOI":"10.1145\/1831708.1831716"}],"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-642-39611-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T10:18:18Z","timestamp":1557915498000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39611-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642396106","9783642396113"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39611-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}