{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:54:29Z","timestamp":1725749669265},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642407864"},{"type":"electronic","value":"9783642407871"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40787-1_14","type":"book-chapter","created":{"date-parts":[[2013,9,18]],"date-time":"2013-09-18T19:18:35Z","timestamp":1379531915000},"page":"235-250","source":"Crossref","is-referenced-by-count":0,"title":["Repair Abstractions for More Efficient Data Structure Repair"],"prefix":"10.1007","author":[{"given":"Razieh","family":"Nokhbeh Zaeem","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Zubair","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Al-Naffouri, B.Y.: MintEra: A testing environment for Java programs. Master\u2019s thesis, MIT (2004)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Artzi, S., Dolby, J., Tip, F., Pistoia, M.: Directed test generation for effective fault localization. In: ISSTA (2010)","DOI":"10.1145\/1831708.1831715"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: ISSTA (2002)","DOI":"10.1145\/566172.566191"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, L.A., Rosenblum, D.S.: A historical perspective on runtime assertion checking in software development. SIGSOFT Software Engineering Notes, 31(3) (2006)","DOI":"10.1145\/1127878.1127900"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Demsky, B.: Data Structure Repair Using Goal-Directed Reasoning. PhD thesis. MIT (2006)","DOI":"10.1145\/1062455.1062499"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Demsky, B., Rinard, M.: Automatic detection and repair of errors in data structures. In: OOPSLA (2003)","DOI":"10.1145\/949305.949314"},{"key":"14_CR7","unstructured":"Elkarablieh, B.: Assertion-based Repair of Complex Data Structures. PhD thesis, UT Austin (2009)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Elkarablieh, B., Garcia, I., Suen, Y.L., Khurshid, S.: Assertion-based repair of complex data structures. In: ASE (2007)","DOI":"10.1145\/1321631.1321643"},{"key":"14_CR9","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":"14_CR10","unstructured":"Ext2 fsck. manual page, \n                    \n                      http:\/\/e2fsprogs.sourceforge.net"},{"key":"14_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)"},{"issue":"6 pt. 2","key":"14_CR12","doi-asserted-by":"publisher","first-page":"1385","DOI":"10.1002\/j.1538-7305.1985.tb00280.x","volume":"64","author":"G. Haugk","year":"1985","unstructured":"Haugk, G., Lax, F., Royer, R., Williams, J.: The 5ESS(TM) switching system: Maintenance capabilities. AT&T Technical Journal\u00a064(6 pt. 2), 1385\u20131416 (1985)","journal-title":"AT&T Technical Journal"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Hussain, I., Csallner, C.: Dynamic symbolic data structure repair. In: ICSE (2010)","DOI":"10.1145\/1810295.1810333"},{"key":"14_CR14","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press (2006)"},{"key":"14_CR15","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":"14_CR16","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":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/11537328_12","volume-title":"Model Checking Software","author":"S. Khurshid","year":"2005","unstructured":"Khurshid, S., Garc\u00eda, I., Suen, Y.L.: Repairing structurally complex data. In: Godefroid, P. (ed.) SPIN 2005. LNCS, vol.\u00a03639, pp. 123\u2013138. Springer, Heidelberg (2005)"},{"key":"14_CR18","unstructured":"Liskov, B., Guttag, J.: Program Development in Java: Abstraction, Specification, and Object-Oriented Design. Addison-Wesley (2000)"},{"key":"14_CR19","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":"14_CR20","doi-asserted-by":"crossref","unstructured":"Mayer, W., Stumptner, M.: Evaluating models for Model-Based debugging. In: ASE (2008)","DOI":"10.1109\/ASE.2008.23"},{"key":"14_CR21","unstructured":"Microsoft. chkdsk manual page, \n                    \n                      http:\/\/support.microsoft.com\/kb\/315265"},{"issue":"10","key":"14_CR22","doi-asserted-by":"publisher","first-page":"1135","DOI":"10.1109\/TSE.1987.232855","volume":"13","author":"S. Mourad","year":"1987","unstructured":"Mourad, S., Andrews, D.: On the reliability of the IBM MVS\/XA operating system. IEEE Transactions on Software Engineering\u00a013(10), 1135\u20131139 (1987)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-28756-5_2","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"R. Nokhbeh Zaeem","year":"2012","unstructured":"Nokhbeh Zaeem, R., Gopinath, D., Khurshid, S., McKinley, K.S.: History-aware data structure repair using SAT. In: Flanagan, C., K\u00f6nig, B. (eds.) TACAS 2012. LNCS, vol.\u00a07214, pp. 2\u201317. Springer, Heidelberg (2012)"},{"key":"14_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1007\/978-3-642-14107-2_27","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"R. Nokhbeh Zaeem","year":"2010","unstructured":"Nokhbeh Zaeem, R., Khurshid, S.: Contract-Based Data Structure Repair Using Alloy. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 577\u2013598. Springer, Heidelberg (2010)"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/978-3-642-11811-1_34","volume-title":"Abstract State Machines, Alloy, B and Z","author":"R. Nokhbeh Zaeem","year":"2010","unstructured":"Nokhbeh Zaeem, R., Khurshid, S.: Introducing Specification-Based Data Structure Repair Using Alloy. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol.\u00a05977, pp. 398\u2013399. Springer, Heidelberg (2010)"},{"key":"14_CR26","doi-asserted-by":"crossref","unstructured":"Rosenblum, D.S.: Towards a method of programming with assertions. In: ICSE (1992)","DOI":"10.1145\/143062.143098"},{"key":"14_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"552","DOI":"10.1007\/978-3-642-14107-2_26","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"H. Samimi","year":"2010","unstructured":"Samimi, H., Aung, E.D., Millstein, T.: Falling Back on Executable Specifications. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 552\u2013576. Springer, Heidelberg (2010)"},{"key":"14_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11560548_6","volume-title":"Correct Hardware Design and Verification Methods","author":"S. Staber","year":"2005","unstructured":"Staber, S., Jobstmann, B., Bloem, R.: Finding and fixing faults. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol.\u00a03725, pp. 35\u201349. Springer, Heidelberg (2005)"},{"key":"14_CR29","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":"14_CR30","doi-asserted-by":"crossref","unstructured":"Wei, Y., et al.: Automated fixing of programs with contracts. In: ISSTA (2010)","DOI":"10.1145\/1831708.1831716"},{"key":"14_CR31","doi-asserted-by":"crossref","unstructured":"Weimer, W.: Patches as better bug reports. In: GPCE (2006)","DOI":"10.1145\/1173706.1173734"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40787-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T07:42:44Z","timestamp":1558078964000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40787-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642407864","9783642407871"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40787-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}