{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T20:57:08Z","timestamp":1743109028428,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319116792"},{"type":"electronic","value":"9783319116808"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-11680-8_14","type":"book-chapter","created":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T17:25:41Z","timestamp":1412011541000},"page":"169-181","source":"Crossref","is-referenced-by-count":2,"title":["A Novel Test Data Generation Approach Based Upon Mutation Testing by Using Artificial Immune System for Simulink Models"],"prefix":"10.1007","author":[{"given":"Le Thi My","family":"Hanh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nguyen Thanh","family":"Binh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Khuat Thanh","family":"Tung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Beizer, B.: Software Testing Techniques, 2nd edn. Thomason Computer Press (1990)"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on Test Data Selection: Help for Practicing for Programmer. IEEE Computer\u00a0(11), 34\u201341 (1978)","DOI":"10.1109\/C-M.1978.218136"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1007\/978-3-642-17071-3_11","volume-title":"Formal Methods for Components and Objects","author":"A. Brillout","year":"2010","unstructured":"Brillout, A., He, N., Mazzucchi, M., Kroening, D., Purandare, M., R\u00fcmmer, P., Weissenbacher, G.: Mutation-based Test case generation for Simulink models. In: de Boer, F.S., Bonsangue, M.M., Hallerstede, S., Leuschel, M. (eds.) FMCO 2009. LNCS, vol.\u00a06286, pp. 208\u2013227. Springer, Heidelberg (2010)"},{"key":"14_CR4","unstructured":"Zhan, Y.: A Search-Based Framework for Automatic Test-Set Generation for Matlab\/Simulink models. University of York. PhD Thesis (2005)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Ghani, K., Clark, J.A., Zhan, Y.: Comparing Algorithms for Search-based Test Data Generation of Matlab Simulink Model. In: 10th IEEE Congress on Evolutionary Computation (CEC 2009), Trondheim, Norway (2007)","DOI":"10.1109\/CEC.2009.4983313"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"He, N., Rummer, P., Kroening, D.: Test-Case Generation for Embedded Simulink via Formal Concept Analysis. In: DAC, San Diego, California, USA (2011)","DOI":"10.1145\/2024724.2024777"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Li, M., Kumar, R.: Model-Based Automatic Test Generation for Simulink\/Stateflow using Extended Finite Automaton (2011)","DOI":"10.1109\/CoASE.2012.6386487"},{"issue":"13","key":"14_CR8","first-page":"222","volume":"III","author":"S. Godboley","year":"2013","unstructured":"Godboley, S., Sridhar, A., Kharpuse, B., Mohapatra, D.P., Majhi, B.: Generation of Branch Coverage Test Data for Simulink\/Stateflow Models using Crest Tool. International Journal of Advanced Computer Research\u00a0III(13), 222\u2013229 (2013)","journal-title":"International Journal of Advanced Computer Research"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Oh, J., Harman, M., Yoo, S.: Transition Coverage Testing for Simulink\/Stateflow Models Using Messy Genetic Algorithms. In: GECCO 2011, Dublin, Ireland, pp. 1851\u20131858 (2011)","DOI":"10.1145\/2001576.2001825"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Satpathy, M., Yeolekar, A., Ramesh, S.: Randomized directed testing (redirect) for simulink\/stateflow models. In: Proceedings of the 8th ACM International Conference on Embedded Software, New York, USA, pp. 217\u2013226 (2008)","DOI":"10.1145\/1450058.1450088"},{"key":"14_CR11","unstructured":"De Castro, L.N., Timmis, J.: Artificial Immune Systems: A New Computational Intelligence Approach. Springer (2002)"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/978-3-540-73922-7_29","volume-title":"Artificial Immune Systems","author":"P. May","year":"2007","unstructured":"May, P., Timmis, J., Mander, K.: Immune and Evolutionary Approaches to Software Mutation Testing. In: de Castro, L.N., Von Zuben, F.J., Knidel, H. (eds.) ICARIS 2007. LNCS, vol.\u00a04628, pp. 336\u2013347. Springer, Heidelberg (2007)"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Pachauri, A., Gursaran: Use of Clonal Selection Algorithm as Software Test Data Generation Technique. In: Second International Conference on Advanced Computing & Communication Technologies, pp. 1\u20135 (2012)","DOI":"10.1109\/ACCT.2012.118"},{"key":"14_CR14","unstructured":"The Matwork Inc., \n                      http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"14_CR15","unstructured":"Hanh, L.T.M., Binh, N.T.: Automatic Generation of Mutants for Simulink Models. In: 16th National Conference: Selected Problems About IT And Telecommunication, Danang, Vietnam, pp. 339\u2013346 (2013)"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Hanh, L.T.M., Binh, N.T.: Mutation Operators for Simulink Models. In: KSE 2012 - The Fourth International Conference on Knowledge and Systems Engineering, Danang, pp. 54\u201359 (2012)","DOI":"10.1109\/KSE.2012.22"},{"key":"14_CR17","unstructured":"Hanh, L.T.M., Tung, K.T., Binh, N.T.: Improving Mutation Execution in Mutation Testing for Simulink Models Using Parallel Computing. Journal of Science and Technology, University of Danang\u00a0II(1(74)), 9\u201313 (2014)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-540-45192-1_22","volume-title":"Artificial Immune Systems","author":"A.A. Freitas","year":"2003","unstructured":"Freitas, A.A., Timmis, J.: Revisiting the Foundations of Artificial Immune Systems: A Problem Oriented Perspective. In: Timmis, J., Bentley, P.J., Hart, E. (eds.) ICARIS 2003. LNCS, vol.\u00a02787, pp. 229\u2013241. Springer, Heidelberg (2003)"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Burnet, F.M.: The Clonal Selection Theory of Acquired Immunity. Cambridge University Press (1959)","DOI":"10.5962\/bhl.title.8281"},{"key":"14_CR20","first-page":"67","volume-title":"Artificial Immune Systems: A Novel Paradigm to Pattern Recognition","author":"L.N. De Castro","year":"2002","unstructured":"De Castro, L.N., Timmis, J.: Artificial Immune Systems: A Novel Paradigm to Pattern Recognition, vol.\u00a02, pp. 67\u201384. Springer Verlag, University of Paisley, UK (2002)"},{"issue":"3","key":"14_CR21","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1109\/TEVC.2002.1011539","volume":"6","author":"L.N. de Castro","year":"2002","unstructured":"de Castro, L.N., Von Zuben, F.J.: Learning and optimization using the clonal selection principle. IEEE Transactions on Evolutionary Computation\u00a06(3), 239\u2013251 (2002)","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"14_CR22","unstructured":"Offutt, A.J., Voas, J.M.: Subsumption of Condition Coverage Techniques by Mutation Testing. Technical Report ISSE-TR-96-01 (1996)"}],"container-title":["Advances in Intelligent Systems and Computing","Knowledge and Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11680-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,12]],"date-time":"2024-07-12T12:45:53Z","timestamp":1720788353000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11680-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319116792","9783319116808"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11680-8_14","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2015]]}}}