{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:19Z","timestamp":1750307359484,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,4,10]],"date-time":"2011-04-10T00:00:00Z","timestamp":1302393600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,4,10]]},"DOI":"10.1145\/1966445.1966464","type":"proceedings-article","created":{"date-parts":[[2011,4,12]],"date-time":"2011-04-12T12:01:35Z","timestamp":1302609695000},"page":"199-214","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Striking a new balance between program instrumentation and debugging time"],"prefix":"10.1145","author":[{"given":"Olivier","family":"Crameri","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Bianchini","sequence":"additional","affiliation":[{"name":"Rutgers University, Piscataway, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Willy","family":"Zwaenepoel","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,4,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065035"},{"key":"e_1_3_2_1_3_1","first-page":"209","volume-title":"Proceedings of the 8th USENIX Conference on Operating systems design and implementation","author":"Cadar","year":"2008","unstructured":"Cadar 2008 Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating systems design and implementation , pages 209 -- 224 , 2008. Cadar 2008 Cristian Cadar, Daniel Dunbar, and Dawson R. Engler. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating systems design and implementation, pages 209--224, 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346322"},{"key":"e_1_3_2_1_5_1","volume-title":"EPFL","author":"Crameri","year":"2009","unstructured":"Crameri 2009 Olivier Crameri et al. Oasis: Concolic Execution Driven by Test Suites and Code Modifications. Technical report , EPFL , 2009. Crameri 2009 Olivier Crameri et al. Oasis: Concolic Execution Driven by Test Suites and Code Modifications. Technical report, EPFL, 2009."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/844128.844148"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375607"},{"key":"e_1_3_2_1_9_1","first-page":"193","volume-title":"OSDI'08: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation","author":"Guo","year":"2008","unstructured":"Guo 2008 Zhenyu Guo et al. R2: an Application-level Kernel for Record and Replay . In OSDI'08: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation , pages 193 -- 208 , 2008. Guo 2008 Zhenyu Guo et al. R2: an Application-level Kernel for Record and Replay. In OSDI'08: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, pages 193--208, 2008."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/306225.306235"},{"key":"e_1_3_2_1_12_1","volume-title":"CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Proceedings of Conference on Compilier Construction","author":"Necula","year":"2002","unstructured":"Necula 2002 George C. Necula et al . CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Proceedings of Conference on Compilier Construction , 2002. Necula 2002 George C. Necula et al. CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs. In Proceedings of Conference on Compilier Construction, 2002."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273021"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1973416.1973420"},{"key":"e_1_3_2_1_17_1","unstructured":"uClibc uClibc. The uClibc Library a C Library for Linux. http:\/\/www.uclibc.org\/.  uClibc uClibc. The uClibc Library a C Library for Linux. http:\/\/www.uclibc.org\/."},{"key":"e_1_3_2_1_18_1","first-page":"291","volume-title":"SS'08: Proceedings of the 17th Conference on Security Symposium","author":"Wang","year":"2008","unstructured":"Wang 2008 Rui Wang, XiaoFeng Wang, and Zhuowei Li. Panalyst: Privacy-aware Remote Error Analysis on Commodity software . In SS'08: Proceedings of the 17th Conference on Security Symposium , pages 291 -- 306 , 2008. Wang 2008 Rui Wang, XiaoFeng Wang, and Zhuowei Li. Panalyst: Privacy-aware Remote Error Analysis on Commodity software. In SS'08: Proceedings of the 17th Conference on Security Symposium, pages 291--306, 2008."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755946"}],"event":{"name":"EuroSys '11: Sixth EuroSys Conference 2011","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Salzburg Austria","acronym":"EuroSys '11"},"container-title":["Proceedings of the sixth conference on Computer systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966445.1966464","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1966445.1966464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:26Z","timestamp":1750245746000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1966445.1966464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,10]]},"references-count":19,"alternative-id":["10.1145\/1966445.1966464","10.1145\/1966445"],"URL":"https:\/\/doi.org\/10.1145\/1966445.1966464","relation":{},"subject":[],"published":{"date-parts":[[2011,4,10]]},"assertion":[{"value":"2011-04-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}