{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T01:28:49Z","timestamp":1789176529887,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,3]],"date-time":"2012-09-03T00:00:00Z","timestamp":1346630400000},"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":[[2012,9,3]]},"DOI":"10.1145\/2351676.2351686","type":"proceedings-article","created":{"date-parts":[[2012,9,4]],"date-time":"2012-09-04T12:51:11Z","timestamp":1346763071000},"page":"60-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Diagnosys: automatic generation of a debugging interface to the Linux kernel"],"prefix":"10.1145","author":[{"given":"Tegawend\u00e9 F.","family":"Bissyand\u00e9","sequence":"first","affiliation":[{"name":"University of Bordeaux, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Laurent","family":"R\u00e9veill\u00e8re","sequence":"additional","affiliation":[{"name":"University of Bordeaux, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Julia L.","family":"Lawall","sequence":"additional","affiliation":[{"name":"INRIA, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gilles","family":"Muller","sequence":"additional","affiliation":[{"name":"INRIA, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2012,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"876","volume-title":"DSN\u201904","author":"Albinet A.","unstructured":"A. Albinet , J. Arlat , and J.-C. Fabre . Characterization of the impact of faulty drivers on the robustness of the Linux kernel . In DSN\u201904 , pages 867\u2013 876 . A. Albinet, J. Arlat, and J.-C. Fabre. Characterization of the impact of faulty drivers on the robustness of the Linux kernel. In DSN\u201904, pages 867\u2013876."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1244535"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1218063.1217943"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2008.15"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_6_1","unstructured":"J. Corbet. Injecting faults into the kernel. http:\/\/lwn.net\/Articles\/209257\/ November 2004.  J. Corbet. Injecting faults into the kernel. http:\/\/lwn.net\/Articles\/209257\/ November 2004."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2009.26"},{"key":"e_1_3_2_1_8_1","first-page":"154","volume-title":"ASPLOS\u201910","author":"Ding Y.","unstructured":"Y. Ding , M. Haohui , X. Weiwei , T. Lin , Z. Yuanyuan , and P. Shankar . Sherlog: Error diagnosis by connecting clues from run-time logs . In ASPLOS\u201910 , pages 143\u2013 154 , Pittsburgh, PA, USA. Y. Ding, M. Haohui, X. Weiwei, T. Lin, Z. Yuanyuan, and P. Shankar. Sherlog: Error diagnosis by connecting clues from run-time logs. In ASPLOS\u201910, pages 143\u2013154, Pittsburgh, PA, USA."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_1_11_1","first-page":"322","volume-title":"DSN\u201903","author":"Fetzer C.","unstructured":"C. Fetzer and Z. Xiao . Healers: a toolkit for enhancing the robustness and security of existing applications . In DSN\u201903 , pages 317\u2013 322 , San Francisco, CA, USA. C. Fetzer and Z. Xiao. Healers: a toolkit for enhancing the robustness and security of existing applications. In DSN\u201903, pages 317\u2013322, San Francisco, CA, USA."},{"key":"e_1_3_2_1_12_1","first-page":"517","volume-title":"FME\u201901","author":"Flanagan C.","unstructured":"C. Flanagan and K. R. M. Leino . Houdini, an annotation assistant for ESC\/Java . In FME\u201901 , pages 500\u2013 517 , London, UK. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for ESC\/Java. In FME\u201901, pages 500\u2013517, London, UK."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512558"},{"key":"e_1_3_2_1_14_1","first-page":"159","volume-title":"LISA\u201906","author":"Ganapathi A.","unstructured":"A. Ganapathi , V. Ganapathi , and D. Patterson . Windows XP kernel crash analysis . In LISA\u201906 , pages 49\u2013 159 , Washington, DC , USA. A. Ganapathi, V. Ganapathi, and D. Patterson. Windows XP kernel crash analysis. In LISA\u201906, pages 49\u2013159, Washington, DC, USA."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774546"},{"key":"e_1_3_2_1_16_1","volume-title":"Logic in Computer Science: Modelling and reasoning about systems","author":"Huth M.","year":"2000","unstructured":"M. Huth and M. Ryan . Logic in Computer Science: Modelling and reasoning about systems . Cambridge University Press , 2000 . M. Huth and M. Ryan. Logic in Computer Science: Modelling and reasoning about systems. Cambridge University Press, 2000."},{"key":"e_1_3_2_1_17_1","volume-title":"USENIX Annual Technical Conference","author":"Kuznetsov V.","year":"2010","unstructured":"V. Kuznetsov , V. Chipounov , and G. Candea . Testing closed-source binary device drivers with DDT . In USENIX Annual Technical Conference , June 2010 . V. Kuznetsov, V. Chipounov, and G. Candea. Testing closed-source binary device drivers with DDT. In USENIX Annual Technical Conference, June 2010."},{"key":"e_1_3_2_1_18_1","first-page":"52","volume-title":"DSN\u201909","author":"Lawall J. L.","unstructured":"J. L. Lawall , J. Brunel , N. Palix , R. R. Hansen , H. Stuart , and G. Muller . WYSIWIB: A declarative approach to \ufb01nding API protocols and bugs in Linux code . In DSN\u201909 , pages 43\u2013 52 , Lisbon , Portugal . J. L. Lawall, J. Brunel, N. Palix, R. R. Hansen, H. Stuart, and G. Muller. WYSIWIB: A declarative approach to \ufb01nding API protocols and bugs in Linux code. In DSN\u201909, pages 43\u201352, Lisbon, Portugal."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081755"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063509.2063511"},{"key":"e_1_3_2_1_21_1","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice-Hall Inc. 1st edition 1988.   B. Meyer. Object-Oriented Software Construction. Prentice-Hall Inc. 1st edition 1988."},{"key":"e_1_3_2_1_22_1","volume-title":"O\u2019Reilly","author":"Mills C.","year":"2004","unstructured":"C. Mills . Using Design by Contract in C. OnLamp .com , O\u2019Reilly , 1 st edition, October 2004 . C. Mills. Using Design by Contract in C. OnLamp.com, O\u2019Reilly, 1st edition, October 2004.","edition":"1"},{"key":"e_1_3_2_1_23_1","volume-title":"http:\/\/www.ibm.com\/developerworks\/linux\/ library\/l-kexec\/index.html","author":"Nellitheertha H.","year":"2004","unstructured":"H. Nellitheertha . Reboot Linux faster using kexec. http:\/\/www.ibm.com\/developerworks\/linux\/ library\/l-kexec\/index.html , 2004 . H. Nellitheertha. Reboot Linux faster using kexec. http:\/\/www.ibm.com\/developerworks\/linux\/ library\/l-kexec\/index.html , 2004."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1357010.1352618"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950401"},{"key":"e_1_3_2_1_26_1","first-page":"537","volume-title":"IFM\u201907","author":"Post H.","unstructured":"H. Post and W. K\u00fcchlin . Integrated static analysis for Linux device driver veri\ufb01cation . In IFM\u201907 , pages 518\u2013 537 , Oxford, UK. H. Post and W. K\u00fcchlin. Integrated static analysis for Linux device driver veri\ufb01cation. In IFM\u201907, pages 518\u2013537, Oxford, UK."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.63"},{"key":"e_1_3_2_1_28_1","volume-title":"Linux Device Drivers, page 109. O\u2019Reilly Media","author":"Rubini A.","year":"2001","unstructured":"A. Rubini and J. Corbet . Linux Device Drivers, page 109. O\u2019Reilly Media , second edition, 2001 . A. Rubini and J. Corbet. Linux Device Drivers, page 109. O\u2019Reilly Media, second edition, 2001."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519095"},{"key":"e_1_3_2_1_30_1","unstructured":"M. Yandong C. Haogang Z. Dong W. Xi Z. Nickolai and K. M. Frans. Software fault isolation with API integrity and multi-principal modules. In SOSP\u201911.  M. Yandong C. Haogang Z. Dong W. Xi Z. Nickolai and K. M. Frans. Software fault isolation with API integrity and multi-principal modules. In SOSP\u201911."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950369"}],"event":{"name":"ASE'12: IEEE\/ACM International Conference on Automated Software Engineering","location":"Essen Germany","acronym":"ASE'12","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGAI ACM Special Interest Group on Artificial Intelligence","Universit\u00e4t Duisburg Essen Universit\u00e4t Duisburg Essen","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2351676.2351686","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2351676.2351686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:24Z","timestamp":1750239264000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2351676.2351686"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,3]]},"references-count":31,"alternative-id":["10.1145\/2351676.2351686","10.1145\/2351676"],"URL":"https:\/\/doi.org\/10.1145\/2351676.2351686","relation":{},"subject":[],"published":{"date-parts":[[2012,9,3]]},"assertion":[{"value":"2012-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}