{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T16:47:57Z","timestamp":1742921277699,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642017018"},{"type":"electronic","value":"9783642017025"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01702-5_13","type":"book-chapter","created":{"date-parts":[[2009,4,18]],"date-time":"2009-04-18T10:01:45Z","timestamp":1240048905000},"page":"99-113","source":"Crossref","is-referenced-by-count":6,"title":["Iterative Delta Debugging"],"prefix":"10.1007","author":[{"given":"Cyrille","family":"Artho","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Artho, C., Shibayama, E., Honiden, S.: Iterative delta debugging. In: 19th IFIP Int. Conf. on Testing of Communicating Systems (TESTCOM 2007), Tallinn, Estonia (2007)"},{"key":"13_CR2","first-page":"336","volume-title":"Proc. 11th Asia-Pacific Software Engineering Conference (APSEC 2004)","author":"K. Gondow","year":"2004","unstructured":"Gondow, K., Suzuki, T., Kawashima, H.: Binary-level lightweight data integration to develop program understanding tools for embedded software in C. In: Proc. 11th Asia-Pacific Software Engineering Conference (APSEC 2004), Washington, USA, 2004, pp. 336\u2013345. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/0020-0190(88)90054-3","volume":"29","author":"B. Korel","year":"1988","unstructured":"Korel, B., Laski, J.: Dynamic program slicing. Inf. Process. Lett.\u00a029(3), 155\u2013163 (1988)","journal-title":"Inf. Process. Lett."},{"key":"13_CR4","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1145\/1166160.1166183","volume-title":"Proc. 2006 ACM symposium on Document engineering (DocEng 2006)","author":"T. Lindholm","year":"2006","unstructured":"Lindholm, T., Kangasharju, J., Tarkoma, S.: Fast and simple XML tree differencing by sequence alignment. In: Proc. 2006 ACM symposium on Document engineering (DocEng 2006), pp. 75\u201384. ACM, New York (2006)"},{"key":"13_CR5","first-page":"63","volume-title":"Proc. 12th Int. Symposium on the Foundations of Software Engineering (FSE 2004)","author":"R. Manevich","year":"2004","unstructured":"Manevich, R., Sridharan, M., Adams, S., Das, M., Yang, Z.: PSE: Explaining Program Failures via Postmortem Static Analysis. In: Proc. 12th Int. Symposium on the Foundations of Software Engineering (FSE 2004), pp. 63\u201372. ACM, New York (2004)"},{"issue":"7","key":"13_CR6","doi-asserted-by":"publisher","first-page":"2214","DOI":"10.1093\/ietisy\/e89-d.7.2214","volume":"E89-D","author":"K. Maruyama","year":"2006","unstructured":"Maruyama, K., Yamamoto, S.: A tool platform using an XML representation of source code information. IEICE \u2013 Trans. Inf. Syst.\u00a0E89-D(7), 2214\u20132222 (2006)","journal-title":"IEICE \u2013 Trans. Inf. Syst."},{"key":"13_CR7","first-page":"142","volume-title":"Proc. 28th Int. Conf. on Software Engineering (ICSE 2006)","author":"G. Misherghi","year":"2006","unstructured":"Misherghi, G., Su, Z.: HDD: hierarchical delta debugging. In: Proc. 28th Int. Conf. on Software Engineering (ICSE 2006), Shanghai, China, pp. 142\u2013151. ACM Press, New York (2006)"},{"key":"13_CR8","volume-title":"Art of Software Testing","author":"G. Myers","year":"1979","unstructured":"Myers, G.: Art of Software Testing. John Wiley & Sons, Chichester (1979)"},{"key":"13_CR9","series-title":"ENTCS","first-page":"22","volume-title":"Proc. 3rd Int. Workshop on Run-time Verification (RV\u00a02003)","author":"N. Nethercote","year":"2003","unstructured":"Nethercote, N., Seward, J.: Valgrind: A program supervision framework. In: Proc. 3rd Int. Workshop on Run-time Verification (RV\u00a02003), Boulder, USA. ENTCS, vol.\u00a089, pp. 22\u201343. Elsevier, Amsterdam (2003)"},{"key":"13_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3540-6","volume-title":"Software Reliability Methods","author":"D. Peled","year":"2001","unstructured":"Peled, D.: Software Reliability Methods. Springer, Heidelberg (2001)"},{"key":"13_CR11","unstructured":"Torvalds, L., Hamano, C.: git-bisect (1) manual page (2007), \n                    \n                      http:\/\/kernel.org\/pub\/software\/scm\/git\/docs\/git-bisect.html"},{"issue":"2","key":"13_CR12","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1023\/A:1022920129859","volume":"10","author":"W. Visser","year":"2003","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model checking programs. Automated Software Engineering Journal\u00a010(2), 203\u2013232 (2003)","journal-title":"Automated Software Engineering Journal"},{"issue":"7","key":"13_CR13","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slices when debugging. Communications of the ACM\u00a025(7), 446\u2013452 (1982)","journal-title":"Communications of the ACM"},{"issue":"2","key":"13_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1109\/32.988498","volume":"28","author":"A. Zeller","year":"2002","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. Software Engineering\u00a028(2), 183\u2013200 (2002)","journal-title":"Software Engineering"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01702-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:03:48Z","timestamp":1558267428000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01702-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642017018","9783642017025"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01702-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}