{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,19]],"date-time":"2025-08-19T10:02:37Z","timestamp":1755597757119,"version":"3.41.0"},"publisher-location":"New York, New York, USA","reference-count":23,"publisher":"ACM Press","license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1145\/2676585.2676617","type":"proceedings-article","created":{"date-parts":[[2015,1,16]],"date-time":"2015-01-16T19:18:59Z","timestamp":1421435939000},"page":"102-109","source":"Crossref","is-referenced-by-count":2,"title":["Applying the meta-heuristic algorithms for mutation-based test data generation for Simulink models"],"prefix":"10.1145","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":"320","reference":[{"key":"key-10.1145\/2676585.2676617-1","unstructured":"B. Beizer.Software Testing Techniques. 2nd ed. Thomason Computer Press, 1990."},{"key":"key-10.1145\/2676585.2676617-2","unstructured":"Yuan Zhan and John Clark. Automatic Test-Data Generation for Testing Simulink Model.University of York, Technical YCS-2004-382, 2004."},{"key":"key-10.1145\/2676585.2676617-3","doi-asserted-by":"crossref","unstructured":"R. DeMillo, R. Lipton, and F. Sayward. Hints on Test Data Selection: Help for Practicing for Programmer.IEEE computer, no. 11, pp. 34--41, 1978.","DOI":"10.1109\/C-M.1978.218136"},{"key":"key-10.1145\/2676585.2676617-4","doi-asserted-by":"crossref","unstructured":"A. Brillout, N. He, M. Mazzucchi, D. Kroening, M. Purandare, P. Rummer, and G. Weissenbacher. Mutation-based Test case generation for Simulink models. In FMCO, LNCS. Springer, 2010.","DOI":"10.1007\/978-3-642-17071-3_11"},{"key":"key-10.1145\/2676585.2676617-5","unstructured":"Yuan Zhan. A Search-Based Framework for Automatic Test-Set Generation for Matlab\/Simulink models.University of York, PhD Thesis, 2005."},{"key":"key-10.1145\/2676585.2676617-6","unstructured":"Kamran Ghani, John A. Clark, and Yuan Zhan. Comparing Algorithms for Search-based Test Data Generation of Matlab Simulink Model.10th IEEE Congress on Evolutionary Computation (CEC '09), Trondheim, Norway, 2007."},{"key":"key-10.1145\/2676585.2676617-7","unstructured":"Nannan He, Philipp Rummer, and Daniel Kroening. Test-Case Generation for Embedded Simulink via Formal Concept Analysis.DAC, San Diego, California, USA, 2011."},{"key":"key-10.1145\/2676585.2676617-8","unstructured":"Meng Li and Ratnesh Kumar. Model-Based Automatic Test Generation for Simulink\/Stateflow using Extended Finite Automaton, 2011."},{"key":"key-10.1145\/2676585.2676617-9","unstructured":"Sangharatna Godboley, Adepu Sridhar, Bhupendra kharpuse, Durga Prasad Mohapatra, and Banshidhar Majhi. Generation of Branch Coverage Test Data for Simulink\/Stateflow Models using Crest Tool.International Journal of Advanced Computer Research, vol. III, no. 13, pp. 222--229, 2013."},{"key":"key-10.1145\/2676585.2676617-10","unstructured":"Jungsup Oh, Mark Harman, and Shin Yoo. Transition Coverage Testing for Simulink\/Stateflow Models Using Messy Genetic Algorithms.GECCO'11, Dublin, Ireland, pp. 1851--1858, 2011."},{"key":"key-10.1145\/2676585.2676617-11","doi-asserted-by":"crossref","unstructured":"M. Satpathy, A. Yeolekar, and S. Ramesh. Randomized directed testing (redirect) for simulink\/stateflow models.Proceedings of the 8th ACM international conference on Embedded software, New York, USA, pp. 217--226, 2008.","DOI":"10.1145\/1450058.1450088"},{"key":"key-10.1145\/2676585.2676617-12","unstructured":"L. N. De Castro and J. Timmis. Artificial Immune Systems: A New Computational Intelligence Approach. Springer-Verlag, 2002."},{"key":"key-10.1145\/2676585.2676617-13","doi-asserted-by":"crossref","unstructured":"T. A. Budd and D. Angluin. Two notions of correctness and their relation.Acta Informatica, no. 18, pp. 31--45, 1982.","DOI":"10.1007\/BF00625279"},{"key":"key-10.1145\/2676585.2676617-14","unstructured":"The Matwork Inc: http:\/\/www.mathworks.com\/products\/simulink\/"},{"key":"key-10.1145\/2676585.2676617-15","unstructured":"L. T. M. Hanh and N. T. Binh. Automatic Generation of Mutants for Simulink Models.Proceedings of the 16th National Conference: Selected Problems About IT And Telecommunication, Vietnam, pp. 339--346, 2013."},{"key":"key-10.1145\/2676585.2676617-16","doi-asserted-by":"crossref","unstructured":"Le Thi My Hanh and Nguyen Thanh Binh. Mutation Operators for Simulink Models.Proceedings of the fourth International Conference on Knowledge and Systems Engineering (KSE 2012), Danang, pp. 54--59, 2012.","DOI":"10.1109\/KSE.2012.22"},{"key":"key-10.1145\/2676585.2676617-17","unstructured":"Le Thi My Hanh, Khuat Thanh Tung, Nguyen Thanh Binh. Improving Mutation Execution in Mutation Testing for Simulink Models Using Parallel Computing.Journal of Science and Technology, University of Danang, vol. II, no. 1(74), pp. 9--13, 2014."},{"key":"key-10.1145\/2676585.2676617-18","unstructured":"Le Thi My Hanh, Khuat Thanh Tung, Nguyen Thanh Binh. Mutation-based Test Data Generation for Simulink Models using Genetic Algorithm and Simulated Annealing.International Journal of Computer and Information Technology, vol. III, issue 04, pp. 763--771, 2014."},{"key":"key-10.1145\/2676585.2676617-19","doi-asserted-by":"crossref","unstructured":"Le Thi My Hanh, Khuat Thanh Tung, Nguyen Thanh Binh. A novel test data generation approach based upon Mutation testing by using Artificial Immune System for Simulink models.Proceedings of the sixth International Conference on Knowledge and Systems Engineering (KSE 2014), Hanoi, pp. 169--181, October 9-11, 2014.","DOI":"10.1007\/978-3-319-11680-8_14"},{"key":"key-10.1145\/2676585.2676617-20","doi-asserted-by":"crossref","unstructured":"M. Mitchell.An Introduction to Genetic Algorithms. 5th ed. The MIT Press, 1999.","DOI":"10.7551\/mitpress\/3927.001.0001"},{"key":"key-10.1145\/2676585.2676617-21","unstructured":"S. Kirkpatrick, Jr. C. D. Gelatt, and M. P. Vecchi. Optimization by Simulated Annealing.Science, no. 220(4598), pp. 671--680, 1983."},{"key":"key-10.1145\/2676585.2676617-22","doi-asserted-by":"crossref","unstructured":"L. N. de Castro and F. J. Von Zuben. Learning and optimization using the clonal selection principle.IEEE Transactions on Evolutionary Computation, no. 6(3), pp. 239--251, 2002.","DOI":"10.1109\/TEVC.2002.1011539"},{"key":"key-10.1145\/2676585.2676617-23","unstructured":"A. J. Offutt and J. M. Voas. Subsumption of Condition Coverage Techniques by Mutation Testing.Technical ReportISSE-TR-96-01, 1996."}],"event":{"name":"the Fifth Symposium","start":{"date-parts":[[2014,12,4]]},"number":"5","location":"Hanoi, Viet Nam","end":{"date-parts":[[2014,12,5]]},"acronym":"SoICT '14"},"container-title":["Proceedings of the Fifth Symposium on Information and Communication Technology - SoICT '14"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2676585.2676617","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/dl.acm.org\/ft_gateway.cfm?id=2676617&ftid=1529165&dwn=1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:14:30Z","timestamp":1750277670000},"score":1,"resource":{"primary":{"URL":"http:\/\/dl.acm.org\/citation.cfm?doid=2676585.2676617"}},"subtitle":[],"proceedings-subject":"Information and Communication Technology","short-title":[],"issued":{"date-parts":[[2014]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1145\/2676585.2676617","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}