{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,8]],"date-time":"2023-09-08T00:07:15Z","timestamp":1694131635882},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T00:00:00Z","timestamp":1260403200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Empir Software Eng"],"published-print":{"date-parts":[[2010,8]]},"DOI":"10.1007\/s10664-009-9122-z","type":"journal-article","created":{"date-parts":[[2009,12,9]],"date-time":"2009-12-09T11:04:48Z","timestamp":1260356688000},"page":"380-422","source":"Crossref","is-referenced-by-count":5,"title":["Profiling the operational behavior of OS device drivers"],"prefix":"10.1007","volume":"15","author":[{"given":"Constantin","family":"S\u00e2rbu","sequence":"first","affiliation":[]},{"given":"Andr\u00e9as","family":"Johansson","sequence":"additional","affiliation":[]},{"given":"Neeraj","family":"Suri","sequence":"additional","affiliation":[]},{"given":"Nachiappan","family":"Nagappan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,10]]},"reference":[{"key":"9122_CR1","doi-asserted-by":"crossref","unstructured":"Albinet A, Arlat J, Fabre JC (2004) Characterization of the impact of faulty drivers on the robustness of the Linux kernel. In: International conference on dependable systems and networks (DSN), pp 867\u2013876. doi: 10.1109\/DSN.2004.1311957","DOI":"10.1109\/DSN.2004.1311957"},{"issue":"d","key":"9122_CR2","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/12.980005","volume":"51","author":"J Arlat","year":"2002","unstructured":"Arlat J, Fabre JC, Rodriguez M (2002) Dependability of COTS microkernel-based systems. IEEE Trans Comput 51(d):138\u2013163","journal-title":"IEEE Trans Comput"},{"key":"9122_CR3","doi-asserted-by":"crossref","unstructured":"Avritzer A, Larson B (1993) Load testing software using deterministic state testing. In: International symposium on software testing and analysis (ISSTA), pp 82\u201388. doi: 10.1145\/154183.154244","DOI":"10.1145\/154183.154244"},{"issue":"9","key":"9122_CR4","doi-asserted-by":"crossref","first-page":"705","DOI":"10.1109\/32.464549","volume":"21","author":"A Avritzer","year":"1995","unstructured":"Avritzer A, Weyuker EJ (1995) The automatic generation of load test suites and the assessment of the resulting software. IEEE Trans Softw Eng 21(9):705\u2013716. doi: 10.1109\/32.464549","journal-title":"IEEE Trans Softw Eng"},{"issue":"5","key":"9122_CR5","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1109\/52.536461","volume":"13","author":"A Avritzer","year":"1996","unstructured":"Avritzer A, Ros J, Weyuker E (1996) Reliability testing of rule-based systems. IEEE Softw 13(5):76\u201382. doi: 10.1109\/52.536461","journal-title":"IEEE Softw"},{"key":"9122_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-540-24756-2_1","volume-title":"Integrated formal methods, vol 2999","author":"T Ball","year":"2004","unstructured":"Ball T, Cook B, Levin V, Rajamani S (2004) SLAM and static driver verifier: technology transfer of formal methods inside Microsoft. In: Integrated formal methods, vol 2999. Springer, New York, pp 1\u201320"},{"key":"9122_CR7","first-page":"73","volume-title":"Thorough static analysis of device drivers. In: ACM SIGOPS European conference on computer systems (EuroSys)","author":"T Ball","year":"2006","unstructured":"Ball T, Bounimova E, Cook B, Levin V, Lichtenberg J, McGarvey C, Ondrusek B, Rajamani SK, Ustuner A (2006) Thorough static analysis of device drivers. In: ACM SIGOPS European conference on computer systems (EuroSys). ACM, New York, pp 73\u201385. doi: http:\/\/doi.acm.org\/10.1145\/1217935.1217943"},{"key":"9122_CR8","volume-title":"Software engineering economics","author":"BW Boehm","year":"1981","unstructured":"Boehm BW (1981) Software engineering economics. Prentice-Hall, Englewood Cliffs"},{"key":"9122_CR9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1145\/502059.502042","volume":"1","author":"A Chou","year":"2001","unstructured":"Chou A, Yang J, Chelf B, Hallem S, Engler DR (2001) An empirical study of operating system errors. ACM Symposium on Operating Systems Principles (SOSP) 1:73\u201388. citeseer.ist.psu.edu\/article\/chou01empirical.html","journal-title":"ACM Symposium on Operating Systems Principles (SOSP)"},{"issue":"12","key":"9122_CR10","first-page":"2563","volume":"86","author":"J Dur\u00e3es","year":"2003","unstructured":"Dur\u00e3es J, Madeira H (2003) Multidimensional characterization of the impact of faulty drivers on the operating systems behavior. IEICE Trans Inf Syst 86(12):2563\u20132570. http:\/\/ci.nii.ac.jp\/naid\/110003213679\/","journal-title":"IEICE Trans Inf Syst"},{"key":"9122_CR11","unstructured":"Ganapathi A, Ganapathi V, Patterson D (2006) Windows XP Kernel crash analysis. In: Large installation system administration conference (LISA), pp 12\u201322"},{"key":"9122_CR12","doi-asserted-by":"crossref","unstructured":"Johansson A, Suri N (2005) Error propagation profiling of operating systems. In: International conference on dependable systems and networks (DSN), pp 86\u201395. doi: 10.1109\/DSN.2005.45","DOI":"10.1109\/DSN.2005.45"},{"key":"9122_CR13","doi-asserted-by":"crossref","unstructured":"Leon D, Podgurski A (2003) 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. doi: 10.1109\/ISSRE.2003.1251065","DOI":"10.1109\/ISSRE.2003.1251065"},{"key":"9122_CR14","doi-asserted-by":"crossref","unstructured":"McMaster S, Memon AM (2005) Call stack coverage for test suite reduction. In: IEEE international conference on software maintenance (ICSM), pp 539\u2013548. doi: 10.1109\/ICSM.2005.29","DOI":"10.1109\/ICSM.2005.29"},{"key":"9122_CR15","doi-asserted-by":"crossref","unstructured":"Mendonca M, Neves N (2007) Robustness testing of the Windows DDK. In: International conference on dependable systems and networks (DSN), pp 554\u2013564. doi: 10.1109\/DSN.2007.85","DOI":"10.1109\/DSN.2007.85"},{"key":"9122_CR16","doi-asserted-by":"crossref","unstructured":"Menzies T, Owen D, Cukic B (2002) Saturation effects in testing of formal models. In: Proceedings on the 13th international symposium on software reliability engineering. ISSRE 2002, pp 15\u201326. doi: 10.1109\/ISSRE.2002.1173208","DOI":"10.1109\/ISSRE.2002.1173208"},{"key":"9122_CR17","unstructured":"Microsoft (2006) Windows roadmap for drivers. http:\/\/www.microsoft.com\/whdc\/driver\/foundation\/DrvRoadmap.mspx"},{"key":"9122_CR18","unstructured":"Microsoft Corp (2009) Driver verifier. http:\/\/www.microsoft.com\/whdc\/DevTools\/tools\/DrvVerifier.mspx . Accessed 6 January 2009"},{"key":"9122_CR19","doi-asserted-by":"crossref","unstructured":"M\u00f6ller KH, Paulish D (1993) An empirical investigation of software fault distribution. In: First international software metrics symposium, pp 82\u201390. doi: 10.1109\/METRIC.1993.263798","DOI":"10.1109\/METRIC.1993.263798"},{"key":"9122_CR20","unstructured":"Musa JD (2004) Software reliability engineering: more reliable software faster and cheaper, 2nd edn. AuthorHouse"},{"key":"9122_CR21","unstructured":"Musa JD, Okumoto K (1984) A logarithmic Poisson execution time model for software reliability measurement. In: International conference on software engineering (ICSE), pp 230\u2013238"},{"key":"9122_CR22","doi-asserted-by":"crossref","unstructured":"Nagappan N, Williams L, Osborne J, Vouk M, Abrahamsson P (2005) Providing test quality feedback using static source code and automatic test suite metrics. In: IEEE international symposium on software reliability engineering (ISSRE), pp 83\u201394. doi: 10.1109\/ISSRE.2005.35","DOI":"10.1109\/ISSRE.2005.35"},{"key":"9122_CR23","volume-title":"Programming the MS Windows driver model","author":"W Oney","year":"2003","unstructured":"Oney W (2003) Programming the MS Windows driver model. Microsoft, Redmond"},{"key":"9122_CR24","unstructured":"Orgovan V (2008) Windows feedback and reliability. Keynote talk at the 19th international symposium on software reliability engineering (ISSRE), http:\/\/www.csc2.ncsu.edu\/conferences\/issre\/2008\/VinceO_ISSRE_2008.pdf . Accessed 5 Feburary 2009"},{"key":"9122_CR25","volume-title":"Developing drivers with the Windows Driver Foundation","author":"P Orwick","year":"2007","unstructured":"Orwick P, Smith G (2007) Developing drivers with the Windows Driver Foundation. Microsoft, Redmond"},{"key":"9122_CR26","unstructured":"Rational Inc (2009) Purify. http:\/\/www-01.ibm.com\/software\/awdtools\/purify . Accessed 9 January 2009"},{"key":"9122_CR27","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1109\/32.962562","volume":"26","author":"G Rothermel","year":"2001","unstructured":"Rothermel G, Untch R, Chu C, Harrold M (2001) Prioritizing test cases for regression testing. Trans Softw Eng (TSE) 26:929\u2013948. doi: 10.1109\/32.962562","journal-title":"Trans Softw Eng (TSE)"},{"key":"9122_CR28","unstructured":"Russinovich M (2008) DebugView. http:\/\/technet.microsoft.com\/en-us\/sysinternals\/bb896647.aspx"},{"key":"9122_CR29","unstructured":"Simionato M (2004) An introduction to GraphViz and dot. http:\/\/www.linuxdevcenter.com\/pub\/a\/linux\/2004\/05\/06\/graphviz_dot.html"},{"key":"9122_CR30","unstructured":"Simpson D (2003) Windows XP embedded with service pack 1 reliability. Tech. rep., Microsoft Corporation, http:\/\/msdn2.microsoft.com\/en-us\/library\/ms838661.aspx , accessed on 10 October 2007"},{"key":"9122_CR31","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1007\/11955498_9","volume-title":"3rd international service availability symposium (ISAS)","author":"C S\u00e2rbu","year":"2006","unstructured":"S\u00e2rbu C, Johansson A, Fraikin F, Suri N (2006) Improving robustness testing of COTS OS extensions. In: 3rd international service availability symposium (ISAS). LNCS, vol 4328. Springer, New York, pp 120\u2013139. doi: 10.1007\/11955498"},{"key":"9122_CR32","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/978-3-540-68129-8_9","volume-title":"5rd international service availability symposium (ISAS)","author":"C S\u00e2rbu","year":"2008","unstructured":"S\u00e2rbu C, Johansson A, Suri N (2008) Execution path profiling for OS device drivers: viability and methodology. In: 5rd international service availability symposium (ISAS). LNCS, vol 5017. Springer, New York, pp 90\u2013107"},{"key":"9122_CR33","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/1133373.1133393","volume-title":"Workshop on ACM SIGOPS European workshop (EW10).","author":"MM Swift","year":"2002","unstructured":"Swift MM, Martin S, Levy HM, Eggers SJ (2002) Nooks: an architecture for reliable device drivers. In: Workshop on ACM SIGOPS European workshop (EW10). ACM, New York, pp 102\u2013107. doi: http:\/\/doi.acm.org\/10.1145\/1133373.1133393"},{"issue":"1","key":"9122_CR34","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/1047915.1047919","volume":"23","author":"MM Swift","year":"2005","unstructured":"Swift MM, Bershad BN, Levy HM (2005) Improving the reliability of commodity operating systems. ACM Trans Comput Syst 23(1):77\u2013110. doi: 10.1145\/1047915.1047919","journal-title":"ACM Trans Comput Syst"},{"issue":"5","key":"9122_CR35","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1109\/52.714817","volume":"15","author":"E Weyuker","year":"1998","unstructured":"Weyuker E (1998) Testing component-based software: a cautionary tale. IEEE Softw 15(5):54\u201359. doi: 10.1109\/52.714817","journal-title":"IEEE Softw"},{"key":"9122_CR36","first-page":"1118","volume-title":"ACM symposium on applied computing","author":"EJ Weyuker","year":"2003","unstructured":"Weyuker EJ (2003) Using operational distributions to judge testing progress. In: ACM symposium on applied computing. ACM, New York, pp 1118\u20131122. doi: 10.1145\/952532.952750"},{"issue":"7","key":"9122_CR37","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/32.83906","volume":"17","author":"EJ Weyuker","year":"1991","unstructured":"Weyuker EJ, Jeng B (1991) Analyzing partition testing strategies. IEEE Trans Softw Eng (TSE) 17(7):703\u2013711. doi: 10.1109\/32.83906","journal-title":"IEEE Trans Softw Eng (TSE)"},{"key":"9122_CR38","unstructured":"Wheeler DA (2001) More than a gigabuck: estimating GNU\/Linux\u2019s size. http:\/\/www.dwheeler.com\/sloc . Accessed 12 December 2008"},{"key":"9122_CR39","unstructured":"Zhou F, Condit J, Anderson Z, Bagrak I, Ennals R, Harren M, Necula G, Brewer E (2006) SafeDrive: safe and recoverable extensions using language-based techniques. In: Symposium on operating systems design and implementation (OSDI). USENIX Association, El Cerrito, pp 45\u201360"}],"container-title":["Empirical Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-009-9122-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10664-009-9122-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10664-009-9122-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T21:15:10Z","timestamp":1559250910000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10664-009-9122-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,10]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2010,8]]}},"alternative-id":["9122"],"URL":"https:\/\/doi.org\/10.1007\/s10664-009-9122-z","relation":{},"ISSN":["1382-3256","1573-7616"],"issn-type":[{"value":"1382-3256","type":"print"},{"value":"1573-7616","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,10]]}}}