{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T20:01:37Z","timestamp":1784232097317,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540705918","type":"print"},{"value":"9783540705925","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70592-5_23","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"542-565","source":"Crossref","is-referenced-by-count":61,"title":["ReCrash: Making Software Failures Reproducible by Preserving Object States"],"prefix":"10.1007","author":[{"given":"Shay","family":"Artzi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sunghun","family":"Kim","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael D.","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"23_CR1","unstructured":"Apple Crash Reporter (2007), http:\/\/developer.apple.com\/technotes\/tn2004\/tn2123.html"},{"key":"23_CR2","unstructured":"Java Platform Debugger Architecture (2007), http:\/\/java.sun.com\/javase\/technologies\/core\/toolsapis\/jpda\/"},{"key":"23_CR3","unstructured":"JVMTI Tool Interface (JVM TI) (2007), http:\/\/java.sun.com\/j2se\/1.5.0\/docs\/guide\/jvmti\/index.html"},{"key":"23_CR4","unstructured":"Microsoft Online Crash Analysis (2007), http:\/\/oca.microsoft.com"},{"key":"23_CR5","unstructured":"Talkback Reports (2007), http:\/\/talkback-public.mozilla.org"},{"key":"23_CR6","unstructured":"XStream Project Homepage (2007), http:\/\/xstream.codehaus.org\/"},{"key":"23_CR7","unstructured":"Artzi, S., Ernst, M.D., Kie\u017cun, A., Pacheco, C., Perkins, J.H.: Finding the needles in the haystack: Generating legal test inputs for object-oriented programs. Technical Report MIT-CSAIL-TR-2006-056, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, September\u00a05 (2006)"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Artzi, S., Kie\u017cun, A., Glasser, D., Ernst, M.D.: Combined static and dynamic mutability analysis. In: ASE 2007: Proceedings of the 22nd Annual International Conference on Automated Software Engineering, Atlanta, GA, USA, November\u00a07-9 (2007)","DOI":"10.1145\/1321631.1321649"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Choi, J.-D., Srinivasan, H.: Deterministic replay of Java multithreaded applications. In: SPDT 1998: Proceedings of the SIGMETRICS symposium on Parallel and distributed tools, pp. 48\u201359 (1998)","DOI":"10.1145\/281035.281041"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Clause, J., Orso, A.: A technique for enabling and supporting debugging of field failures. In: ICSE 2007, Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA, May\u00a023\u201325, 2007, pp. 261\u2013270 (2007)","DOI":"10.1109\/ICSE.2007.10"},{"issue":"11","key":"23_CR11","doi-asserted-by":"publisher","first-page":"1025","DOI":"10.1002\/spe.602","volume":"34","author":"C. Csallner","year":"2004","unstructured":"Csallner, C., Smaragdakis, Y.: JCrasher: an automatic robustness tester for Java. Software: Practice and Experience\u00a034(11), 1025\u20131050 (2004)","journal-title":"Software: Practice and Experience"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","first-page":"422","volume-title":"Software Engineering Education in the Modern Age","author":"C. Csallner","year":"2006","unstructured":"Csallner, C., Smaragdakis, Y.: Check \u2019n\u2019 Crash: Combining static checking and testing. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol.\u00a04309, pp. 422\u2013431. Springer, Heidelberg (2006)"},{"key":"23_CR13","doi-asserted-by":"crossref","unstructured":"Csallner, C., Smaragdakis, Y.: DSD-Crasher: A hybrid analysis tool for bug finding. In: ISSTA 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, Portland, ME, USA, July\u00a018\u201320, 2006, pp. 245\u2013254 (2006)","DOI":"10.1145\/1146238.1146267"},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"de Oliveira, D.A.S., Crandall, J.R., Wassermann, G., Wu, S.F., Su, Z., Chong, F.T.: ExecRecorder: VM-based full-system replay for attack analysis and system recovery. In: ASID 2006: Proceedings of the 1st workshop on Architectural and system support for improving software dependability, pp. 66\u201371 (2006)","DOI":"10.1145\/1181309.1181320"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"Dunlap, G.W., King, S.T., Cinar, S., Basrai, M.A., Chen, P.M.: Revirt: enabling intrusion analysis through virtual-machine logging and replay. SIGOPS Oper. Syst. Rev., 211\u2013224 (2002)","DOI":"10.1145\/844128.844148"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Elbaum, S., Chin, H.N., Dwyer, M.B., Dokulil, J.: Carving differential unit test cases from system test cases. In: Proceedings of the ACM SIGSOFT 14th Symposium on the Foundations of Software Engineering (FSE 2006), pp. 253\u2013264 November 7-9 (2006)","DOI":"10.1145\/1181775.1181806"},{"key":"23_CR17","unstructured":"Ernst, M.D.: Annotations on Java types: JSR 308 working document. November\u00a012 (2007), http:\/\/pag.csail.mit.edu\/jsr308\/"},{"key":"23_CR18","unstructured":"Geels, D., Altekar, G., Shenker, S., Stoica, I.: Replay debugging for distributed applications. In: USENIX-ATC 2006: Proceedings of the Annual Technical Conference on USENIX 2006 Annual Technical Conference, Boston, MA, p. 27 (2006)"},{"issue":"4","key":"23_CR19","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"36","author":"T.J. LeBlanc","year":"1987","unstructured":"LeBlanc, T.J., Mellor-Crummey, J.M.: Debugging parallel programs with instant replay. IEEE Trans. Comput.\u00a036(4), 471\u2013482 (1987)","journal-title":"IEEE Trans. Comput."},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Leitner, A., Ciupa, I., Fiva, A.: Contract Driven Development = Test Driven Development \u2212 Writing Test Cases. In: Proc.\u00a0of the 12th European Software Engineering Conference (ESEC\/FSE), September 2007, pp. 425\u2013434 (2007)","DOI":"10.1145\/1287624.1287685"},{"key":"23_CR21","doi-asserted-by":"crossref","unstructured":"Narayanasamy, S., Pokam, G., Calder, B.: BugNet: Continuously recording program execution for deterministic replay debugging. In: ISCA 2005: Proceedings of the 32nd annual international symposium on Computer Architecture, pp. 284\u2013295 (2005)","DOI":"10.1145\/1080695.1069994"},{"issue":"1","key":"23_CR22","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/MM.2006.7","volume":"26","author":"S. Narayanasamy","year":"2006","unstructured":"Narayanasamy, S., Pokam, G., Calder, B.: BugNet: Recording application-level execution for deterministic replay debugging. IEEE Micro.\u00a026(1), 100\u2013109 (2006)","journal-title":"IEEE Micro."},{"key":"23_CR23","unstructured":"ObjectWeb Consortium. ASM - Home Page (2007), http:\/\/asm.objectweb.org\/"},{"key":"23_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"504","DOI":"10.1007\/11531142_22","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"C. Pacheco","year":"2005","unstructured":"Pacheco, C., Ernst, M.D.: Eclat: Automatic generation and classification of test inputs. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 504\u2013527. Springer, Heidelberg (2005)"},{"key":"23_CR25","doi-asserted-by":"crossref","unstructured":"Pacheco, C., Lahiri, S.K., Ernst, M.D., Ball, T.: Feedback-directed random test generation. In: ICSE 2007, Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, USA, May\u00a023\u201325 (2007)","DOI":"10.1109\/ICSE.2007.37"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Saff, D., Artzi, S., Perkins, J.H., Ernst, M.D.: Automatic test factoring for Java. In: ASE 2005: Proceedings of the 20th Annual International Conference on Automated Software Engineering, Long Beach, CA, USA, November\u00a09\u201311, 2005, pp. 114\u2013123 (2005)","DOI":"10.1145\/1101908.1101927"},{"key":"23_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/978-3-540-30579-8_14","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"A. S\u0103lcianu","year":"2005","unstructured":"S\u0103lcianu, A., Rinard, M.C.: Purity and side-effect analysis for Java programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 199\u2013215. Springer, Heidelberg (2005)"},{"key":"23_CR28","unstructured":"Srinivasan, S.M., Kandula, S., Andrews, C.R., Zhou, Y.: Flashback: A lightweight extension for rollback and deterministic replay for software debugging. In: ATEC 2004: Proceedings of the USENIX Annual Technical Conference 2004 on USENIX Annual Technical Conference, Boston, MA, p. 3 (2004)"},{"key":"23_CR29","doi-asserted-by":"crossref","unstructured":"Steven, J., Chandra, P., Fleck, B., Podgurski, A.: jRapture: A capture\/replay tool for observation-based testing. In: ISSTA 2000: Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis, pp. 158\u2013167 (2000)","DOI":"10.1145\/347324.348993"},{"key":"23_CR30","doi-asserted-by":"crossref","unstructured":"Tomb, A., Brat, G., Visser, W.: Variably interprocedural program analysis for runtime error detection. In: ISSTA 2007, Proceedings of the 2007 International Symposium on Software Testing and Analysis, London, UK, July\u00a010\u201312 (2007)","DOI":"10.1145\/1273463.1273478"},{"key":"23_CR31","doi-asserted-by":"crossref","unstructured":"Xu, M., Bodik, R., Hill, M.D.: A \u201cflight data recorder\u201d for enabling full-system multiprocessor deterministic replay. In: ISCA 2003: Proceedings of the 30th annual international symposium on Computer architecture, pp. 122\u2013135 (2003)","DOI":"10.1145\/859618.859633"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2008 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70592-5_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:08:26Z","timestamp":1605744506000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70592-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705918","9783540705925"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70592-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[]}}