{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:13:42Z","timestamp":1726409622887},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319454764"},{"type":"electronic","value":"9783319454771"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-45477-1_2","type":"book-chapter","created":{"date-parts":[[2016,9,3]],"date-time":"2016-09-03T05:34:41Z","timestamp":1472880881000},"page":"12-23","source":"Crossref","is-referenced-by-count":6,"title":["FIDL: A Fault Injection Description Language for Compiler-Based SFI Tools"],"prefix":"10.1007","author":[{"given":"Maryam","family":"Raiyat Aliabadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthik","family":"Pattabiraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Aliabadi, M.R., Pattabiraman, K., Bidokhti, N.: Soft-LLFI: a comprehensive framework for software fault injection. In: ISSRE 2014, pp. 1\u20135 (2014)","key":"2_CR1","DOI":"10.1109\/ISSREW.2014.114"},{"doi-asserted-by":"crossref","unstructured":"Bienia, C., Kumar, S., Singh, J.P., Li, K.: The PARSEC benchmark suite: characterization and architecturalimplications. In: Parallel Architectures and Compilation Techniques, pp. 72\u201381 (2008)","key":"2_CR2","DOI":"10.1145\/1454115.1454128"},{"unstructured":"Broadwell, P., Sastry, N., Traupman, J.: FIG: a prototype tool for online verification of recovery mechanisms. In: Workshop on Self-healing, Adaptive and Self-managed Systems (2002)","key":"2_CR3"},{"doi-asserted-by":"crossref","unstructured":"Cotroneo, D., Lanzaro, A., Natella, R., Barbosa, R.: Experimental analysis of binary-level software fault injection in complex software. In: EDCC 2012, pp. 162\u2013172 (2012)","key":"2_CR4","DOI":"10.1109\/EDCC.2012.12"},{"issue":"4","key":"2_CR5","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MSP.2013.54","volume":"11","author":"D Cotroneo","year":"2013","unstructured":"Cotroneo, D., Natella, R.: Fault injection for software certification. IEEE Trans. Secur. Priv. 11(4), 38\u201345 (2013)","journal-title":"IEEE Trans. Secur. Priv."},{"issue":"12","key":"2_CR6","doi-asserted-by":"crossref","first-page":"1385","DOI":"10.1002\/(SICI)1097-024X(199712)27:12<1385::AID-SPE133>3.0.CO;2-7","volume":"27","author":"S Dawson","year":"1997","unstructured":"Dawson, S., Jahanian, F., Mitton, T.: Experiments on six commercial TCP implementations using a software fault injection tool. Softw. Pract. Exper. 27(12), 1385\u20131410 (1997)","journal-title":"Softw. Pract. Exper."},{"key":"2_CR7","volume-title":"Aspect-Oriented Software Development","author":"R Filman","year":"2004","unstructured":"Filman, R., Elrad, T., Clarke, S., et al.: Aspect-Oriented Software Development. Addison-Wesley Professional, Boston (2004)"},{"doi-asserted-by":"crossref","unstructured":"Giuffrida, C., Kuijsten, A., Tanenbaum, A.S.: EDFI: a dependable fault injection tool for dependability benchmarking experiments. In: PRDC 2013, pp. 31\u201340 (2013)","key":"2_CR8","DOI":"10.1109\/PRDC.2013.12"},{"key":"2_CR9","volume-title":"DTrace: Dynamic Tracing in Oracle Solaris, Mac OS X, and FreeBSD","author":"B Gregg","year":"2011","unstructured":"Gregg, B., Mauro, J.: DTrace: Dynamic Tracing in Oracle Solaris, Mac OS X, and FreeBSD. Prentice Hall Professional, Upper Saddle River (2011)"},{"issue":"7","key":"2_CR10","first-page":"28","volume":"33","author":"JL Henning","year":"2000","unstructured":"Henning, J.L.: SPEC CPU2000: measuring cpu performance in the new millennium. IEEE Trans. Comput. 33(7), 28\u201335 (2000)","journal-title":"IEEE Trans. Comput."},{"key":"2_CR11","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/2076021.2048082","volume":"46","author":"P Joshi","year":"2011","unstructured":"Joshi, P., Gunawi, H.S., Sen, K.: PREFAIL: a programmable tool for multiple-failure injection. ACM SIGPLAN Not. 46, 171\u2013188 (2011)","journal-title":"ACM SIGPLAN Not."},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/978-3-642-17358-5_28","volume-title":"Service-Oriented Computing","author":"L Juszczyk","year":"2010","unstructured":"Juszczyk, L., Dustdar, S.: A programmble fault injection testbed generator for SOA. In: Weske, M., Yang, J., Fantinato, M., Maglio, P.P. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 411\u2013425. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis & transformation. In: CGO 2004, pp. 75\u201386 (2004)","key":"2_CR13","DOI":"10.1109\/CGO.2004.1281665"},{"key":"2_CR14","first-page":"11","volume":"2015","author":"L Qining","year":"2015","unstructured":"Qining, L., Farahani, M., Wei, J., Thomas, A., Pattabiraman, K.: LLFI: an intermediate code-level fault injection tool for hardware faults. QRS 2015, 11\u201316 (2015)","journal-title":"QRS"},{"key":"2_CR15","first-page":"417","volume":"2000","author":"H Madeira","year":"2000","unstructured":"Madeira, H., Costa, D., Vieira, M.: On the emulation of software faults by software fault injection. DSN 2000, 417\u2013426 (2000)","journal-title":"DSN"},{"doi-asserted-by":"crossref","unstructured":"Marinescu, P.D., George Candea, L.F.I.: A practical and general library-level fault injector. In: DSN 2009, pp. 379\u2013388 (2009)","key":"2_CR16","DOI":"10.1109\/DSN.2009.5270313"},{"issue":"4","key":"2_CR17","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1109\/32.799936","volume":"25","author":"GC Murphy","year":"1999","unstructured":"Murphy, G.C., Walker, R.J., Banlassad, E.L.A.: Evaluating emerging software development technologies: lessons learned from assessing aspect-oriented programming. IEEE Trans. Softw. Eng. 25(4), 438\u2013455 (1999)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR18","first-page":"1","volume":"2012","author":"H Schirmeier","year":"2012","unstructured":"Schirmeier, H., Hoffmann, M., Kapitza, R., Lohmann, D., Spinczyk, O.: FAIL: towards a versatile fault-injection experiment framework. ARCS 2012, 1\u20135 (2012)","journal-title":"ARCS"},{"unstructured":"Stratton, J.A., Rodrigues, C., Sung, I.-J., Obeid, N., Chang, L.-W., Anssari, N., Liu, G.D., W Hwu, W.-M.: PARBOIL: a revised benchmark suite for scientific and commercial throughput computing. In: RHPC 2012 (2012)","key":"2_CR19"},{"doi-asserted-by":"crossref","unstructured":"Wang, J., Zhao, M., Zeng, Q., Wu, D., Liu, P.: Risk assessment of buffer heartbleed over-read vulnerabilities. In: DSN 2015 (2015)","key":"2_CR20","DOI":"10.1109\/DSN.2015.59"},{"doi-asserted-by":"crossref","unstructured":"Wei, J., Thomas, A., Li, G., Pattabiraman, K.: Quantifying the accuracy of high-level fault injection techniques for hardware faults. In: DSN 2014, pp. 375\u2013382 (2014)","key":"2_CR21","DOI":"10.1109\/DSN.2014.2"},{"doi-asserted-by":"crossref","unstructured":"Winter, S., S\u00e2rbu, C., Suri, N., Murphy, B.: The impact of fault models on software robustness evaluations. In: ICSE 2011, pp. 51\u201360 (2011)","key":"2_CR22","DOI":"10.1145\/1985793.1985801"},{"unstructured":"Zhou, F., Condit, J., Anderson, Z., Bagrak, I., Ennals, R., Harren, M., Necula, G., Brewer, E.: SafeDrive: safe and recoverable extensions using language-based techniques. In: OSDI, pp. 45\u201360 (2006)","key":"2_CR23"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45477-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T05:37:23Z","timestamp":1568353043000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45477-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319454764","9783319454771"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45477-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}