{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:51:31Z","timestamp":1725796291493},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091556"},{"type":"electronic","value":"9783319091563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09156-3_28","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T07:15:22Z","timestamp":1404285322000},"page":"387-401","source":"Crossref","is-referenced-by-count":2,"title":["Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment"],"prefix":"10.1007","author":[{"given":"Hanno","family":"Eichelberger","sequence":"first","affiliation":[]},{"given":"J\u00fcrgen","family":"Ruf","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Kropf","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Greiner","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","unstructured":"GDB: The GNU Project Debugger, http:\/\/www.sourceware.org\/gdb"},{"key":"28_CR2","unstructured":"Navit - Car Navigation System, http:\/\/www.navit-project.org"},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"Patil, H., Pereira, C., Stallcup, M., Lueck, G., Cownie, J.: PinPlay: a Framework for Deterministic Replay and Reproducible Analysis of Parallel Programs. In: 8th IEEE\/ACM International Symposium on Code Generation and Optimization, pp. 2\u201311. ACM (2010)","DOI":"10.1145\/1772954.1772958"},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Laadan, O., Viennot, N., Nieh, J.: Transparent, Lightweight Application Execution Replay on Commodity Multiprocessor Operating Systems. In: 2010 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, pp. 155\u2013166. ACM (2010)","DOI":"10.1145\/1811039.1811057"},{"key":"28_CR5","doi-asserted-by":"crossref","unstructured":"Lee, Y.-H., Song, W.Y., Girme, R., Zaveri, S., Chen, Y.: Replay Debugging for Multi-Threaded Embedded Software. In: 2010 IEEE International Conference on Embedded and Ubiquitous Computing, pp. 15\u201322. IEEE (2010)","DOI":"10.1109\/EUC.2010.13"},{"key":"28_CR6","unstructured":"Replay Debugging on Linux. VMWare Technical Note (2009), https:\/\/www.vmware.com\/pdf\/ws7_replay_linux_technote.pdf"},{"key":"28_CR7","doi-asserted-by":"crossref","unstructured":"Wang, N., Han, J., Fang, J.: A Transparent Control-Flow based Approach to Record-Replay Non-Deterministic Bugs. In: 7th International Conference on Networking, Architecture and Storage, pp. 189\u2013198. IEEE (2012)","DOI":"10.1109\/NAS.2012.28"},{"key":"28_CR8","doi-asserted-by":"crossref","unstructured":"Gomez, L., Neamtiu, I., Azim, T., Millstein, T.: RERAN: Timing- and Touch-Sensitive Record and Replay for Android. In: Proceedings of the 35th International Conference on Software Engineering, pp. 72\u201381. IEEE (2013)","DOI":"10.1109\/ICSE.2013.6606553"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating Cause-Effect Chains from Computer Programs. In: 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 1\u201310. ACM (2002)","DOI":"10.1145\/587051.587053"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Why Programs Fail: a Guide to Systematic Debugging, 2nd edn. Morgan Kaufmann Publishers (2009)","DOI":"10.1016\/B978-0-12-374515-6.00006-X"},{"key":"28_CR11","unstructured":"Liu, X., Lin, W., Pan, A., Zhang, Z.: WiDS Checker. In: 4th USENIX Conference on Networked Systems Design & Implementation, pp. 257\u2013270. USENIX (2007)"},{"key":"28_CR12","unstructured":"Geels, D., Altekar, G., Maniatis, P., Roscoe, T., Stoica, I.: Friday: Global Comprehension for Distributed Replay. In: 4th USENIX Conference on Networked Systems Design & Implementation, pp. 285\u2013298. USENIX (2007)"},{"key":"28_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-77395-5_8","volume-title":"Runtime Verification","author":"H. Shin","year":"2007","unstructured":"Shin, H., Endoh, Y., Kataoka, Y.: ARVE: Aspect-Oriented Runtime Verification Environment. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol.\u00a04839, pp. 87\u201396. Springer, Heidelberg (2007)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Sen, K., Kalasapur, S., Brutch, T., Gibbs, S.: Jalangi: A Selective Record-Replay and Dynamic Analysis Framework for Javascript. In: 9th Joint Meeting on Foundations of Software Engineering, pp. 488\u2013498. ACM (2013)","DOI":"10.1145\/2491411.2491447"},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"Wang, Y., Patil, H., Pereira, C., Lueck, G., Gupta, R., Neamtiu, I.: DrDebug: Deterministic Replay based Cyclic Debugging with Dynamic Slicing. In: 12th IEEE\/ACM International Symposium on Code Generation and Optimization, pp. 98\u2013108. ACM (2014)","DOI":"10.1145\/2581122.2544152"},{"key":"28_CR16","unstructured":"Eichelberger, H., Kropf, T., Greiner, T.: Rosenstiel. W.: Runtime Verification Driven Debugging of Replayed Errors. In: Proceedings of the Ph.D. Workshop of ICTSS 2013, pp. 1\u20134 (2013), http:\/\/ictss.sabanciuniv.edu\/phd-workshop"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09156-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T06:01:17Z","timestamp":1565589677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09156-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091556","9783319091563"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09156-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}