{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T21:10:22Z","timestamp":1737321022981,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540426073"},{"type":"electronic","value":"9783540454168"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45416-0_14","type":"book-chapter","created":{"date-parts":[[2007,7,20]],"date-time":"2007-07-20T19:29:50Z","timestamp":1184959790000},"page":"130-144","source":"Crossref","is-referenced-by-count":0,"title":["An Investigation on Mutation Strategies for Fault Injection into RDD-100 Models"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Ka\u00e2niche","sequence":"first","affiliation":[]},{"given":"Yannick","family":"Le Gu\u00e9dart","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Arlat","sequence":"additional","affiliation":[]},{"given":"Thierry","family":"Boyer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,26]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"S. Ayache, P. Humbert, E. Conquet et al., \u201cFormal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft\u201d, 26th Int. Symp. on Fault-Tolerant Computing (FTCS-26), (Sendai, Japan), pp. 353\u2013357, IEEE Computer Society, 1996.","DOI":"10.1109\/FTCS.1996.534620"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"J. Bou\u00e9, P. P\u00e9tillon, Y. Crouzet, \u201cMEFISTO-L: A VHDL-based Fault Injection Tool for the Experimental Assessment of Fault Tolerance\u201d, 28th Int. Symp. on Fault-Tolerant Computing (FTCS-28), (Munich, Germany), pp. 168\u2013173, IEEE Computer Society, 1998.","DOI":"10.1109\/FTCS.1998.689467"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"J. A. Clark, D. K. Pradhan, \u201cREACT: A Synthesis and Evaluation Tool for Fault-Tolerant Microprocessor Architectures\u201d, Annual Reliability & Maintainability Symp., pp. 428\u2013435, IEEE Computer Society, 1993.","DOI":"10.1109\/RAMS.1993.296819"},{"key":"14_CR4","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. A. Millo De","year":"1978","unstructured":"R. A. De Millo, R. J. Lipton, F. G. Sayward, \u201cHints on Test Data Selection: Help for the Practicing Programmer\u201d, IEEE Computer Magazine, vol. 11, pp. 34\u201341, 1978.","journal-title":"IEEE Computer Magazine"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"A. Ghosh, B. W. Johnson, J. A. Profeta III, \u201cSystem-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications\u201d, 1 st International Computer Performance and Dependability Symposium (IPDS\u201995), (Erlangen, Germany), pp. 194\u2013203, IEEE Computer Society, 1995.","DOI":"10.1109\/IPDS.1995.395832"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/12.559803","volume":"46","author":"K. K. Goswami","year":"1997","unstructured":"K. K. Goswami, R. K. Iyer, L. Young, \u201cDEPEND: A Simulation-Based Environment for System Level Dependability Analysis\u201d, IEEE Transactions on Computers, vol. 46, pp. 60\u201374, 1997.","journal-title":"IEEE Transactions on Computers"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1109\/32.54292","volume":"16","author":"D. Harel","year":"1990","unstructured":"D. Harel, H. Lachover, A. Naamad et al., \u201cSTATEMATE: A Working Environment for the Development of Complex Reactive Systems\u201d, IEEE Transactions on Software Engineering, vol. 16, pp. 403\u2013414, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"E. Jenn, J. Arlat, M. Rim\u00e9n et al., \u201cFault Injection into VHDL Models: The MEFISTO Tool\u201d, 24th Int. Symp. on Fault-Tolerant Computing (FTCS-24), (Austin, TX, USA), pp. 66\u201375, IEEE Computer Society, 1994.","DOI":"10.1109\/FTCS.1994.315656"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"M. Ka\u00eaniche, L. Romano, Z. Kalbarczyk et al., \u201cA Hierarchical Approach for Dependability Analysis of a Commercial Cache-based RAID Storage Architecture\u201d, 28 th Int. Symp. on Fault-Tolerant Computing (FTCS-28), (Munich, Germany), pp. 6\u201315, 1998.","DOI":"10.1109\/FTCS.1998.689450"},{"key":"14_CR10","unstructured":"Y. Le Gu\u00e9dart, \u201cFunctional and Faulty Behavior Analysis with RDD-100 \u2014 Method and Prototype\u201d, LAAS Report N\u2218 00561, 2000 (in French)."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Y. Le Gu\u00e9dart, L. Marneffe, F. Scheerens et al., \u201cFunctional and Faulty Behavior Analysis: Some Experiments and Lessons Learnt\u201d, 29th Int. Symp. on Fault-Tolerant Computing (FTCS-29), (Madison, USA), pp. 348\u2013351, 1999.","DOI":"10.1109\/FTCS.1999.781071"},{"key":"14_CR12","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/978-3-642-79789-7_15","volume-title":"Predictably Dependable Computing Systems","author":"P. Th\u00e9venod-Fosse","year":"1995","unstructured":"P. Th\u00e9venod-Fosse, H. Waeselynck, Y. Crouzet, \u201cStatistical Software Testing\u201d, in Predictably Dependable Computing Systems, J.-C. Laprie, B. Randell, H. Kopetz, B. Littlewood, Ed. Berlin: Springer-Verlag, 1995, pp. 253\u2013272."},{"key":"14_CR13","unstructured":"J. M. Voas, G. McGraw, Software Fault Injection \u2014 Inoculating Programs Against Errors: John Wiley & Sons, Inc., 1998."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45416-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T20:50:57Z","timestamp":1737319857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45416-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540426073","9783540454168"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-45416-0_14","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}