{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T05:12:43Z","timestamp":1738300363073,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540681281"},{"type":"electronic","value":"9783540681298"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-68129-8_9","type":"book-chapter","created":{"date-parts":[[2008,5,15]],"date-time":"2008-05-15T12:14:59Z","timestamp":1210853699000},"page":"90-109","source":"Crossref","is-referenced-by-count":4,"title":["Execution Path Profiling for OS Device Drivers: Viability and Methodology"],"prefix":"10.1007","author":[{"given":"Constantin","family":"S\u00e2rbu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9as","family":"Johansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Mendonca, M., Neves, N.: Robustness testing of the Windows DDK. In: Dependable Systems and Networks (DSN), June 2007, pp. 554\u2013564 (2007)","DOI":"10.1109\/DSN.2007.85"},{"issue":"1","key":"9_CR2","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/1047915.1047919","volume":"23","author":"M.M. Swift","year":"2005","unstructured":"Swift, M.M., Bershad, B.N., Levy, H.M.: Improving the reliability of commodity operating systems. ACM Transactions on Computer Systems\u00a023(1), 77\u2013110 (2005)","journal-title":"ACM Transactions on Computer Systems"},{"key":"9_CR3","unstructured":"Ganapathi, A., Ganapathi, V., Patterson, D.: Windows XP kernel crash analysis. In: Large Installation System Administration Conference (LISA), pp. 12\u201322 (2006)"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Albinet, A., Arlat, J., Fabre, J.C.: Characterization of the impact of faulty drivers on the robustness of the Linux kernel. In: Dependable Systems and Networks (DSN), pp. 867\u2013876 (2004)","DOI":"10.1109\/DSN.2004.1311957"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1109\/12.980005","volume":"51","author":"J. Arlat","year":"2002","unstructured":"Arlat, J., Fabre, J.C., Rodriguez, M.: Dependability of COTS microkernel-based systems. IEEE Transactions on Computers\u00a051(2), 138\u2013163 (2002)","journal-title":"IEEE Transactions on Computers"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Chou, A., Yang, J., Chelf, B., Hallem, S., Engler, D.R.: An empirical study of operating system errors. In: Symposium on Operating Systems Principles (SOSP), pp. 73\u201388 (2001)","DOI":"10.1145\/502034.502042"},{"issue":"12","key":"9_CR7","first-page":"2563","volume":"86","author":"J. Duraes","year":"2003","unstructured":"Duraes, J., Madeira, H.: Multidimensional characterization of the impact of faulty drivers on the operating systems behavior. IEICE Transactions on Information and Systems\u00a086(12), 2563\u20132570 (2003)","journal-title":"IEICE Transactions on Information and Systems"},{"key":"9_CR8","unstructured":"Murphy, B., Garzia, M., Suri, N.: Closing the gap in failure analysis. In: Dependable Systems and Networks (DSN), pp. 59\u201361 (2006)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-540-30225-4_11","volume-title":"Service Availability","author":"A. Johansson","year":"2005","unstructured":"Johansson, A., S\u00e2rbu, A., Jhumka, A., Suri, N.: On enhancing the robustness of commercial operating systems. In: Malek, M., Reitenspiess, M., Kaiser, J. (eds.) ISAS 2004. LNCS, vol.\u00a03335, pp. 148\u2013159. Springer, Heidelberg (2005)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Johansson, A., Suri, N.: Error propagation profiling of operating systems. In: International Conference on Dependable Systems and Networks (DSN), pp. 86\u201395 (2005)","DOI":"10.1109\/DSN.2005.45"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11955498_9","volume-title":"Service Availability","author":"C. S\u00e2rbu","year":"2006","unstructured":"S\u00e2rbu, C., Johansson, A., Fraikin, F., Suri, N.: Improving robustness testing of COTS OS extensions. In: Penkler, D., Reitenspiess, M., Tam, F. (eds.) ISAS 2006. LNCS, vol.\u00a04328, pp. 120\u2013139. Springer, Heidelberg (2006)"},{"key":"9_CR12","unstructured":"S\u00e2rbu, C., Suri, N.: Runtime behavior-based profiling of OS drivers. Technical report, TR-TUD-DEEDS-05-02-2007 (2007), http:\/\/www.deeds.informatik.tu-darmstadt.de\/research\/TR\/TR-TUD-DEEDS-05-02-2007-Sarbu.pdf"},{"issue":"7","key":"9_CR13","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"E.J. Weyuker","year":"1991","unstructured":"Weyuker, E.J., Jeng, B.: Analyzing partition testing strategies. IEEE Transactions on Software Engineering\u00a017(7), 703\u2013711 (1991)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9_CR14","first-page":"1118","volume-title":"ACM Symposium on Applied Computing","author":"E.J. Weyuker","year":"2003","unstructured":"Weyuker, E.J.: Using operational distributions to judge testing progress. In: ACM Symposium on Applied Computing, pp. 1118\u20131122. ACM Press, New York (2003)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"M\u00f6ller, K.H., Paulish, D.: An empirical investigation of software fault distribution. In: First International Software Metrics Symposium (METRIC), May 1993, pp. 82\u201390 (1993)","DOI":"10.1109\/METRIC.1993.263798"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Johansson, A., Suri, N., Murphy, B.: On the impact of injection triggers for os robustness evaluation. In: International Symposium on Software Reliability Engineering (ISSTA), pp. 127\u2013136 (2007)","DOI":"10.1109\/ISSRE.2007.23"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Ball, T., Larus, J.R.: Efficient path profiling. In: MICRO-29, pp. 46\u201357 (1996)","DOI":"10.1109\/MICRO.1996.566449"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1145\/301631.301678","volume":"34","author":"J.R. Larus","year":"1999","unstructured":"Larus, J.R.: Whole program paths. ACM SIGPLAN\u00a034, 259\u2013269 (1999)","journal-title":"ACM SIGPLAN"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Leon, D., Podgurski, A.: A comparison of coverage-based and distribution-based techniques for filtering and prioritizing test cases. In: 14th International Symposium on Software Reliability Engineering (ISSRE), pp. 442\u2013453 (2003)","DOI":"10.1109\/ISSRE.2003.1251065"},{"key":"9_CR20","volume-title":"Programming the MS Windows Driver Model","author":"W. Oney","year":"2003","unstructured":"Oney, W.: Programming the MS Windows Driver Model. Microsoft Press, Redmond (2003)"},{"key":"9_CR21","unstructured":"Microsoft Corporation, Visual Studio, Microsoft portable executable and common object file format specification. Technical report (May 2006), http:\/\/www.microsoft.com\/whdc\/system\/platform\/firmware\/PECOFF.mspx"},{"key":"9_CR22","unstructured":"Hunt, G., Brubacher, D.: Detours: Binary interception of Win32 functions. In: Proceedings of the 3rd USENIX Windows NT Symposium, July 1999, pp. 135\u2013144 (1999)"},{"key":"9_CR23","unstructured":"Vasudevan, A., Yerraballi, R.: Spike: Engineering malware analysis tools using unobtrusive binary-instrumentation. In: Australasian Computer Science Conference (ACSC), pp. 311\u2013320 (2006)"},{"issue":"3","key":"9_CR24","doi-asserted-by":"crossref","first-page":"299","DOI":"10.1080\/10618600.1996.10474713","volume":"5","author":"R. Ihaka","year":"1996","unstructured":"Ihaka, R., Gentleman, R.: R: A language for data analysis and graphics. Journal of Computational and Graphical Statistics\u00a05(3), 299\u2013314 (1996)","journal-title":"Journal of Computational and Graphical Statistics"},{"key":"9_CR25","unstructured":"Cohen, W.W., Pradeep, R., E., F.S.: A comparison of string distance metrics for name-matching tasks. In: International Joint Conference on Artificial Intelligence (IJCAI), pp. 73\u201378 (2003)"}],"container-title":["Lecture Notes in Computer Science","Service Availability"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68129-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T08:54:16Z","timestamp":1738227256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68129-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540681281","9783540681298"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68129-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}