{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:56:03Z","timestamp":1725569763643},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642166112"},{"type":"electronic","value":"9783642166129"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16612-9_35","type":"book-chapter","created":{"date-parts":[[2010,11,17]],"date-time":"2010-11-17T06:45:14Z","timestamp":1289976314000},"page":"460-468","source":"Crossref","is-referenced-by-count":2,"title":["Low-Overhead Bug Fingerprinting for Fast Debugging"],"prefix":"10.1007","author":[{"given":"Cristian","family":"Zamfir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Candea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"35_CR1","doi-asserted-by":"crossref","unstructured":"Altekar, G., Stoica, I.: ODR: Output-deterministic replay for multicore programs. In: Symp. on Operating Systems Principles (2009)","DOI":"10.1145\/1629575.1629594"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Dunlap, G.W., King, S.T., Cinar, S., Basrai, M., Chen, P.M.: ReVirt: Enabling intrusion analysis through virtual-machine logging and replay. In: Symp. on Operating Systems Design and Implementation (2002)","DOI":"10.1145\/1060289.1060309"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Glerum, K., Kinshumann, K., Greenberg, S., Aul, G., Orgovan, V., Nichols, G., Grant, D., Loihle, G., Hunt, G.: Debugging in the (very) large: ten years of implementation and experience. In: Symp. on Operating Systems Principles (2009)","DOI":"10.1145\/1629575.1629586"},{"key":"35_CR4","unstructured":"Godefroid, P., Nagappan, N.: Concurrency at Microsoft \u2013 An exploratory survey. In: CAV Workshop on Exploiting Concurrency Efficiently and Correctly (2008)"},{"key":"35_CR5","unstructured":"Guo, Z., Wang, X., Tang, J., Liu, X., Xu, Z., Wu, M., Kaashoek, M.F., Zhang, Z.: R2: An application-level kernel for record and replay. In: Symp. on Operating Systems Design and Implementation (2008)"},{"key":"35_CR6","unstructured":"Intel. Intel Architecture Software Developer\u2019s Manual, Vol. 2: Instruction Set Reference (1999)"},{"key":"35_CR7","unstructured":"Jula, H., Tralamazza, D., Zamfir, C., Candea, G.: Deadlock immunity: Enabling systems to defend against deadlocks. In: Symp. on Operating Systems Design and Implementation (2008)"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Lu, S., Park, S., Seo, E., Zhou, Y.: Learning from mistakes \u2013 a comprehensive study on real world concurrency bug characteristics. In: Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (2008)","DOI":"10.1145\/1346281.1346323"},{"key":"35_CR9","unstructured":"Marinescu, P.D., Banabic, R., Candea, G.: An extensible technique for high-precision testing of recovery code. In: USENIX Annual Technical Conf. (2010)"},{"key":"35_CR10","unstructured":"Park, S., Xiong, W., Yin, Z., Kaushik, R., Lee, K.H., Lu, S., Zhou, Y.: Do you have to reproduce the bug at the first replay attempt? \u2013 PRES: Probabilistic replay with execution sketching on multiprocessors. In: Symp. on Operating Systems Principles (2009)"},{"key":"35_CR11","unstructured":"SQLite (2010), http:\/\/www.sqlite.org\/"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"Xin, B., Sumner, W.N., Zhang, X.: Efficient program execution indexing. In: Conf. on Programming Language Design and Implementation (2008)","DOI":"10.1145\/1375581.1375611"},{"key":"35_CR13","doi-asserted-by":"crossref","unstructured":"Xu, M., Bodik, R., Hill, M.D.: A \u201dflight data recorder\u201d for enabling full-system multiprocessor deterministic replay. In: Intl. Symp. on Computer Architecture (2003)","DOI":"10.1145\/859618.859633"},{"key":"35_CR14","doi-asserted-by":"crossref","unstructured":"Yuan, D., Mai, H., Xiong, W., Tan, L., Zhou, Y., Pasupathy, S.: SherLog: error diagnosis by connecting clues from run-time logs. In: Intl. Conf. on Architectural Support for Programming Languages and Operating Systems (2010)","DOI":"10.1145\/1736020.1736038"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Zamfir, C., Candea, G.: Execution synthesis: A technique for automated debugging. In: ACM SIGOPS\/EuroSys. European Conf. on Computer Systems (2010)","DOI":"10.1145\/1755913.1755946"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16612-9_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T05:57:23Z","timestamp":1559800643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16612-9_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642166112","9783642166129"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16612-9_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}