{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:15Z","timestamp":1750306095570,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,7]],"date-time":"2017-12-07T00:00:00Z","timestamp":1512604800000},"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":[[2017,12,7]]},"DOI":"10.1145\/3155133.3155155","type":"proceedings-article","created":{"date-parts":[[2017,12,11]],"date-time":"2017-12-11T13:26:53Z","timestamp":1512998813000},"page":"425-430","source":"Crossref","is-referenced-by-count":2,"title":["Mutants Generation For Testing Lustre Programs"],"prefix":"10.1145","author":[{"given":"Le","family":"Van Phol","sequence":"first","affiliation":[{"name":"Information Technology Department, Travinh University, Travinh, Vietnam"}]},{"given":"Nguyen Thanh","family":"Binh","sequence":"additional","affiliation":[{"name":"The University of Danang - University of Science and Technology, Danang, Vietnam"}]},{"given":"Ioannis","family":"Parissis","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Grenoble Intitute of Engineering, LCIS, Valence, France"}]}],"member":"320","published-online":{"date-parts":[[2017,12,7]]},"reference":[{"issue":"3","key":"e_1_3_2_1_1_1","first-page":"2011","article-title":"A New Proposed Technique to Improve Software Regression Testing Cost","volume":"5","author":"Kadry S.","year":"2011","journal-title":"International Journal of Security and Its Applications"},{"key":"e_1_3_2_1_2_1","unstructured":"A. Poigne M. Motley O. Maffe L. Holenderski R. Budde. 1996. The Synchronous Approach to designing Reactive Systems. Formal methods in system design V 1--25(199x) Kluwer Academic publishers Boston. Manufacture in the Netherlands. 10.1023\/A:1008697810328   A. Poigne M. Motley O. Maffe L. Holenderski R. Budde. 1996. The Synchronous Approach to designing Reactive Systems. Formal methods in system design V 1--25(199x) Kluwer Academic publishers Boston. Manufacture in the Netherlands. 10.1023\/A:1008697810328"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/530328"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"volume-title":"Proceedings of 19th National Conference: Selected Problems about IT and Telecommunication","year":"2016","author":"Phol Le Van","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/C-M.1978.218136"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210704"},{"volume-title":"George Mason University.","year":"1996","author":"Offutt J.","key":"e_1_3_2_1_11_1"},{"volume-title":"Mar, 1989.","author":"Agrawal H.","key":"e_1_3_2_1_12_1"},{"volume-title":"Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)","year":"2001","author":"Kim S. W.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2006.51"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/0096-0551(85)90011-6"},{"volume-title":"Proceedings of the 5th International Symposium on Software Reliability Engineering Monterey CA, USA","year":"1994","author":"Fabbri S. P. F.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the IFTP TC6 8th International Conference on Formal Description Techniques VIII","volume":"43","author":"Fabbri S. C. P. F.","year":"1995"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.05.009"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MUTATION.2006.9"},{"key":"e_1_3_2_1_20_1","unstructured":"L. du Bousquet. 2010. Mutation analysis to evaluate program specifications in the context of model-checking. Hal--00953404 version 1 2010.  L. du Bousquet. 2010. Mutation analysis to evaluate program specifications in the context of model-checking. Hal--00953404 version 1 2010."},{"volume-title":"Walla Walla College","year":"2004","author":"Aaby AA.","key":"e_1_3_2_1_21_1"}],"event":{"name":"SoICT 2017: The Eighth International Symposium on Information and Communication Technology","sponsor":["SOICT School of Information and Communication Technology - HUST","NAFOSTED The National Foundation for Science and Technology Development"],"location":"Nha Trang City Viet Nam","acronym":"SoICT 2017"},"container-title":["Proceedings of the Eighth International Symposium on Information and Communication Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3155133.3155155","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3155133.3155155","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:28Z","timestamp":1750217428000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3155133.3155155"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,7]]},"references-count":20,"alternative-id":["10.1145\/3155133.3155155","10.1145\/3155133"],"URL":"https:\/\/doi.org\/10.1145\/3155133.3155155","relation":{},"subject":[],"published":{"date-parts":[[2017,12,7]]}}}