{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T04:12:59Z","timestamp":1769746379634,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642198342","type":"print"},{"value":"9783642198359","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-19835-9_15","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T11:03:16Z","timestamp":1300100596000},"page":"173-188","source":"Crossref","is-referenced-by-count":47,"title":["Specification-Based Program Repair Using SAT"],"prefix":"10.1007","author":[{"given":"Divya","family":"Gopinath","sequence":"first","affiliation":[]},{"given":"Muhammad Zubair","family":"Malik","sequence":"additional","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the \u201dSmall Scope Hypothesis\u201d. Technical report, MIT CSAIL (2003)"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Blackburn, S.M., et al.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA (2006)","DOI":"10.1145\/1167473.1167488"},{"key":"15_CR3","unstructured":"Collofello, J.S., Cousins, L.: Towards automatic software fault location through decision-to-decision path analysis"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Dennis, G., Chang, F.S.-H., Jackson, D.: Modular verification of code with SAT. In: ISSTA (2006)","DOI":"10.1145\/1146238.1146251"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Elkarablieh, B., Khurshid, S.: Juzi: A tool for repairing complex data structures. In: ICSE (2008)","DOI":"10.1145\/1368088.1368222"},{"key":"15_CR6","volume-title":"Software Abstractions: Logic, Language and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language and Analysis. MIT-P, Cambridge (2006)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Jackson, D., Vaziri, M.: Finding bugs with a constraint solver. In: ISSTA (2000)","DOI":"10.1145\/347324.383378"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Jeffrey, D., Feng, M., Gupta, N., Gupta, R.: BugFix: A learning-based tool to assist developers in fixing bugs. In: ICPC (2009)","DOI":"10.1109\/ICPC.2009.5090029"},{"key":"15_CR9","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)"},{"key":"15_CR10","unstructured":"Jones, J.A.: Semi-Automatic Fault Localization. PhD thesis, Georgia Institute of Technology (2008)"},{"key":"15_CR11","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 (2009)","DOI":"10.1109\/ASE.2009.92"},{"key":"15_CR12","unstructured":"Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs (2001)"},{"key":"15_CR13","unstructured":"Parr, T., et al.: Another tool for language recognition, http:\/\/www.antlr.org\/"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: ASE (2003)","DOI":"10.1109\/ASE.2003.1240292"},{"key":"15_CR15","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)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"15_CR17","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 (2010)","DOI":"10.1145\/1831708.1831716"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Weimer, W.: Patches as better bug reports. In: GPCE (2006)","DOI":"10.1145\/1173706.1173734"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Goues, C.L., Forrest, S.: Automatically finding patches using genetic programming. In: ICSE (2009)","DOI":"10.1109\/ICSE.2009.5070536"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Weiser, M.: Programmers use slices when debugging. Commun. ACM (1982)","DOI":"10.1145\/358557.358577"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19835-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,9]],"date-time":"2019-06-09T03:19:28Z","timestamp":1560050368000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19835-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642198342","9783642198359"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19835-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}