{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:39:18Z","timestamp":1743079158202,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030166595"},{"type":"electronic","value":"9783030166601"}],"license":[{"start":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T00:00:00Z","timestamp":1555200000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-16660-1_25","type":"book-chapter","created":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T16:06:56Z","timestamp":1555171616000},"page":"253-263","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Empirical Assessment of Functional Redundancy Semantic Metric"],"prefix":"10.1007","author":[{"given":"Dalila","family":"Amara","sequence":"first","affiliation":[]},{"given":"Ezzeddine","family":"Fatnassi","sequence":"additional","affiliation":[]},{"given":"Latifa","family":"Rabai","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,14]]},"reference":[{"volume-title":"Predictably Dependable Computing Systems","year":"2013","key":"25_CR1","unstructured":"Randell, B., Laprie, J.C., Kopetz, H., Littlewood, B. (eds.): Predictably Dependable Computing Systems. Springer, Heidelberg (2013)"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.future.2018.04.049","volume":"87","author":"SA Asghari","year":"2018","unstructured":"Asghari, S.A., Marvasti, M.B., Rahmani, A.M.: Enhancing transient fault tolerance in embedded systems through an OS task level redundancy approach. Future Gener. Comput. Syst. 87, 58\u201365 (2018)","journal-title":"Future Gener. Comput. Syst."},{"issue":"3","key":"25_CR3","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/s11334-014-0233-3","volume":"10","author":"A Mili","year":"2014","unstructured":"Mili, A., Jaoua, A., Frias, M., Helali, R.G.M.: Semantic metrics for software products. Innov. Syst. Softw. Eng. 10(3), 203\u2013217 (2014)","journal-title":"Innov. Syst. Softw. Eng."},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"2","author":"B Randell","year":"1975","unstructured":"Randell, B.: System structure for software fault tolerance. IEEE Trans. Softw. Eng. 2, 220\u2013232 (1975)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"25_CR5","volume-title":"Software Fault Tolerance Techniques and Implementation","author":"LL Pullum","year":"2001","unstructured":"Pullum, L.L.: Software Fault Tolerance Techniques and Implementation. Artech House, Norwood (2001)"},{"key":"25_CR6","unstructured":"Lyu, M.R.: Handbook of Software Reliability Engineering (1996)"},{"key":"25_CR7","volume-title":"Software Testing: Concepts and Operations","author":"A Mili","year":"2015","unstructured":"Mili, A., Tchier, F.: Software Testing: Concepts and Operations. Wiley, New York (2015)"},{"key":"25_CR8","first-page":"262","volume-title":"Advances in Intelligent Systems and Computing","author":"Dalila Amara","year":"2018","unstructured":"Amara, D., Fatnassi, E., Rabai, L.: An automated support tool to compute state redundancy semantic metric. In: International Conference on Intelligent Systems Design and Applications, pp. 262\u2013272. Springer, Cham, December 2017"},{"issue":"1","key":"25_CR9","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-7091-9170-5_1","volume-title":"Dependability: Basic Concepts and Terminology","author":"J. C. Laprie","year":"1992","unstructured":"Laprie, J.C.: Dependability: basic concepts and terminology. In: Dependability: Basic Concepts and Terminology, pp. 3\u2013245. Springer, Vienna (1992)"},{"key":"25_CR11","unstructured":"Laprie, J.C.: Dependable computing and fault tolerance: concepts and terminology. In: Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, p. 2. IEEE, June 1985"},{"key":"25_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-30368-5","volume-title":"Fault-Diagnosis Systems: An Introduction from Fault Detection to Fault Tolerance","author":"R Isermann","year":"2006","unstructured":"Isermann, R.: Fault-Diagnosis Systems: An Introduction from Fault Detection to Fault Tolerance. Springer, Heidelberg (2006)"},{"key":"25_CR13","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-1-4614-2113-9","volume-title":"Fault-Tolerant Design","author":"E Dubrova","year":"2013","unstructured":"Dubrova, E.: Fault-Tolerant Design, pp. 55\u201365. Springer, New York (2013)"},{"issue":"1","key":"25_CR14","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0164-1212(90)90063-R","volume":"12","author":"A Jaoua","year":"1990","unstructured":"Jaoua, A., Mili, A.: The use of executable assertions for error detection and damage assessment. J. Syst. Softw. 12(1), 15\u201337 (1990)","journal-title":"J. Syst. Softw."},{"key":"25_CR15","doi-asserted-by":"crossref","unstructured":"Carzaniga, A., Mattavelli, A., Pezz\u00e8, M.: Measuring software redundancy. In: Proceedings of the 37th International Conference on Software Engineering, vol. 1. pp. 156\u2013166. IEEE Press, May 2015","DOI":"10.1109\/ICSE.2015.37"},{"key":"25_CR16","doi-asserted-by":"publisher","DOI":"10.1201\/b17461","volume-title":"Software Metrics: A Rigorous and Practical Approach","author":"N Fenton","year":"2014","unstructured":"Fenton, N., Bieman, J.: Software Metrics: A Rigorous and Practical Approach. CRC Press, Boca Raton (2014)"},{"issue":"2","key":"25_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1002\/j.1538-7305.1950.tb00463.x","volume":"29","author":"RW Hamming","year":"1950","unstructured":"Hamming, R.W.: Error detecting and error correcting codes. Bell Syst. Tech. J. 29(2), 147\u2013160 (1950)","journal-title":"Bell Syst. Tech. J."},{"issue":"1","key":"25_CR18","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/584091.584093","volume":"5","author":"CE Shannon","year":"2001","unstructured":"Shannon, C.E.: A mathematical theory of communication. ACM SIGMOBILE Mob. Comput. Commun. Rev. 5(1), 3\u201355 (2001)","journal-title":"ACM SIGMOBILE Mob. Comput. Commun. Rev."},{"key":"25_CR19","unstructured":"Lyu, M.R., Huang, Z., Sze, S.K., Cai, X.: An empirical study on testing and fault tolerance for software reliability engineering. In: 14th International Symposium on Software Reliability Engineering, 2003, ISSRE 2003, pp. 119\u2013130. IEEE, November 2003"},{"key":"25_CR20","doi-asserted-by":"publisher","unstructured":"Jiang, L., Su, Z.: Automatic mining of functionally equivalent code fragments via random testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, pp. 81\u201392. ACM, July 2009. \n                  https:\/\/doi.org\/10.1145\/1572272.1572283","DOI":"10.1145\/1572272.1572283"},{"issue":"9","key":"25_CR21","doi-asserted-by":"publisher","first-page":"1366","DOI":"10.1109\/32.6179","volume":"14","author":"JS Davis","year":"1988","unstructured":"Davis, J.S., LeBlanc, R.J.: A study of the applicability of complexity measures. IEEE Trans. Softw. Eng. 14(9), 1366 (1988)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"25_CR22","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1080\/10629360600678310","volume":"77","author":"B Yazici","year":"2007","unstructured":"Yazici, B., Yolacan, S.: A comparison of various tests of normality. J. Stat. Comput. Simul. 77(2), 175\u2013183 (2007). \n                  https:\/\/doi.org\/10.1080\/10629360600678310","journal-title":"J. Stat. Comput. Simul."},{"issue":"1","key":"25_CR23","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1080\/02664760600994539","volume":"34","author":"T Thadewald","year":"2007","unstructured":"Thadewald, T., B\u00fcning, H.: Jarque-Bera test and its competitors for testing normality\u2013a power comparison. J. Appl. Stat. 34(1), 87\u2013105 (2007). \n                  https:\/\/doi.org\/10.1080\/02664760600994539","journal-title":"J. Appl. Stat."},{"issue":"1","key":"25_CR24","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1049\/iet-sen:20070109","volume":"2","author":"CS Gall","year":"2008","unstructured":"Gall, C.S., Lukins, S., Etzkorn, L., Gholston, S., Farrington, P., Utley, D., Virani, S.: Semantic software metrics computed from natural language design specifications. IET Softw. 2(1), 17\u201326 (2008). \n                  https:\/\/doi.org\/10.1049\/iet-sen:20070109","journal-title":"IET Softw."},{"issue":"6","key":"25_CR25","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1109\/TSE.2007.1015","volume":"33","author":"HM Olague","year":"2007","unstructured":"Olague, H.M., Etzkorn, L.H., Gholston, S., Quattlebaum, S.: Empirical validation of three software metrics suites to predict fault-proneness of object-oriented classes developed using highly iterative or agile software development processes. IEEE Trans. Softw. Eng. 33(6), 402\u2013419 (2007). \n                  https:\/\/doi.org\/10.1109\/TSE.2007.1015","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Advances in Intelligent Systems and Computing","Intelligent Systems Design and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-16660-1_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,7]],"date-time":"2019-09-07T08:10:51Z","timestamp":1567843851000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-16660-1_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4,14]]},"ISBN":["9783030166595","9783030166601"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-16660-1_25","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2019,4,14]]},"assertion":[{"value":"14 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISDA 2018","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Intelligent Systems Design and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vellore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isda2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.mirlabs.net\/isda18\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}