{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:20:06Z","timestamp":1750220406245,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,10,22]],"date-time":"2021-10-22T00:00:00Z","timestamp":1634860800000},"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":[[2021,10,22]]},"DOI":"10.1145\/3494885.3494901","type":"proceedings-article","created":{"date-parts":[[2021,12,21]],"date-time":"2021-12-21T01:53:51Z","timestamp":1640051631000},"page":"87-92","source":"Crossref","is-referenced-by-count":0,"title":["Test Sequence Generation Based on Chain Unique Input-Output Sequence in FSM Conformance Testing"],"prefix":"10.1145","author":[{"given":"Weiwei","family":"Lin","sequence":"first","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, China"}]},{"given":"Hongwei","family":"Zeng","sequence":"additional","affiliation":[{"name":"School of Computer Engineering and Science, Shanghai University, China"}]}],"member":"320","published-online":{"date-parts":[[2021,12,20]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"268","volume-title":"Proceedings of 19th International Conference on Software Quality, Reliability and Security Companion. IEEE","author":"Liu P.","year":"2019","unstructured":"Liu P. , Li Y. , and Li Z .. 2019. Some thoughts on model-based test optimization . In Proceedings of 19th International Conference on Software Quality, Reliability and Security Companion. IEEE , Sofia, Bulgaria , 268 - 274 . https:\/\/doi.org\/10.1109\/QRS-C. 2019 .00058. Liu P., Li Y., and Li Z.. 2019. Some thoughts on model-based test optimization. In Proceedings of 19th International Conference on Software Quality, Reliability and Security Companion. IEEE, Sofia, Bulgaria, 268-274. https:\/\/doi.org\/10.1109\/QRS-C.2019.00058."},{"key":"e_1_3_2_1_2_1","first-page":"11","article-title":"2016. Optimized test cases generation for EFSM model combining abstraction refinement and satisfiability","volume":"39","author":"Lu G. Z.","year":"2016","unstructured":"Lu G. Z. and Miao H. K .. 2016. Optimized test cases generation for EFSM model combining abstraction refinement and satisfiability . CJC 39 , 11 ( February 2016 ), 2236-2252. https:\/\/doi.org\/10.11897\/SP.J.1016.2016.02236. Lu G. Z. and Miao H. K.. 2016. Optimized test cases generation for EFSM model combining abstraction refinement and satisfiability. CJC 39, 11 (February 2016), 2236-2252. https:\/\/doi.org\/10.11897\/SP.J.1016.2016.02236.","journal-title":"CJC"},{"key":"e_1_3_2_1_3_1","first-page":"115","volume-title":"Proceedings of International Conference on Formal Engineering Methods. IEEE","author":"Porto R.","unstructured":"Porto R. Faimison , Endo T. Andre , and Simao A .. 2013. Generation of checking sequences using identification sets . In Proceedings of International Conference on Formal Engineering Methods. IEEE , Berlin, Heidelberg , 115 - 130 . https:\/\/doi.org\/10.1007\/978-3-642-41202-8_9. Porto R. Faimison, Endo T. Andre, and Simao A.. 2013. Generation of checking sequences using identification sets. In Proceedings of International Conference on Formal Engineering Methods. IEEE, Berlin, Heidelberg, 115-130. https:\/\/doi.org\/10.1007\/978-3-642-41202-8_9."},{"key":"e_1_3_2_1_4_1","first-page":"305","volume-title":"Proceedings of 28th International Symposium on Software Reliability Engineering. IEEE","author":"Hoda K.","year":"2017","unstructured":"Hoda K. and Yvan L .. 2017. On FSM-based testing: An empirical study: complete round-trip versus transition trees . In Proceedings of 28th International Symposium on Software Reliability Engineering. IEEE , Toulouse, France , 305 - 315 . https:\/\/doi.org\/ 10.1109\/ISSRE. 2017 .34. Hoda K. and Yvan L.. 2017. On FSM-based testing: An empirical study: complete round-trip versus transition trees. In Proceedings of 28th International Symposium on Software Reliability Engineering. IEEE, Toulouse, France, 305-315. https:\/\/doi.org\/ 10.1109\/ISSRE.2017.34."},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"Proceedings of International Symposium on Theoretical Aspects of Software Engineering. IEEE","author":"Gaudel M..","year":"2017","unstructured":"Gaudel M.. 2017 . Formal methods for software testing . In Proceedings of International Symposium on Theoretical Aspects of Software Engineering. IEEE , Sophia Antipolis, France , 1 - 3 . https:\/\/doi.org\/10.1109\/TASE.2017.8285622. Gaudel M.. 2017. Formal methods for software testing. In Proceedings of International Symposium on Theoretical Aspects of Software Engineering. IEEE, Sophia Antipolis, France, 1-3. https:\/\/doi.org\/10.1109\/TASE.2017.8285622."},{"key":"e_1_3_2_1_6_1","first-page":"1","volume-title":"Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing. IEEE","author":"Lin W. W.","year":"2015","unstructured":"Lin W. W. and Zeng H. W .. 2015. A chain algorithm for conformance testing based on UIO sequences . In Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing. IEEE , Takamatsu, Japan , 1 - 6 . https:\/\/doi.org\/ 10.1109\/SNPD. 2015 .7176270. Lin W. W. and Zeng H. W.. 2015. A chain algorithm for conformance testing based on UIO sequences. In Proceedings of 16th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing. IEEE, Takamatsu, Japan, 1-6. https:\/\/doi.org\/ 10.1109\/SNPD.2015.7176270."},{"key":"e_1_3_2_1_7_1","volume-title":"Synthesis of finite state machines for improved state verification. Comput. Electr. Eng. 32, 5 (September","author":"Ahmad I.","year":"2006","unstructured":"Ahmad I. , Ali M. Faridah , and Shoba Das A.. 2006. Synthesis of finite state machines for improved state verification. Comput. Electr. Eng. 32, 5 (September 2006 ), 349\u2013363. https:\/\/doi.org\/10.1016\/j.compeleceng.2005.12.002. Ahmad I., Ali M. Faridah, and Shoba Das A.. 2006. Synthesis of finite state machines for improved state verification. Comput. Electr. Eng. 32, 5 (September 2006), 349\u2013363. https:\/\/doi.org\/10.1016\/j.compeleceng.2005.12.002."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2012.03.007"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-51963-0_12"},{"key":"e_1_3_2_1_10_1","first-page":"1","article-title":"-branching UIO sequences for partially specified observable non-deterministic FSMs","author":"El-Fakih R. M.","year":"2019","unstructured":"K. El-Fakih , R. M. Hierons and U. C. Turker , \u201c -branching UIO sequences for partially specified observable non-deterministic FSMs ,\u201d IEEE Trans. Softw. Eng. , pp. 1 - 1 , Apr. 2019 . K. El-Fakih, R. M. Hierons and U. C. Turker, \u201c -branching UIO sequences for partially specified observable non-deterministic FSMs,\u201d IEEE Trans. Softw. Eng., pp. 1-1, Apr. 2019.","journal-title":"IEEE Trans. Softw. Eng."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1775348.1775363"},{"key":"e_1_3_2_1_12_1","first-page":"2355","volume-title":"Proc. I2MTC","author":"Zhang R. L.","year":"2006","unstructured":"F. Zhang and R. L. Probert , \u201c Minimizing the Lengths of Test Sequences with Overlapping ,\u201d in Proc. I2MTC , Ottawa, Ont., Canada , 2006 , pp. 2355 - 2359 . F. Zhang and R. L. Probert, \u201cMinimizing the Lengths of Test Sequences with Overlapping,\u201d in Proc. I2MTC, Ottawa, Ont., Canada, 2006, pp. 2355-2359."},{"key":"e_1_3_2_1_13_1","first-page":"172","volume-title":"JCM","volume":"32","author":"Xie J. L.","year":"2011","unstructured":"L. Xie , J. L. Wei and G. X. Zhu , \u201c Protocol conformance testing method based on improved FSM ,\u201d JCM , vol. 32 , no. 6, pp. 172 - 176 , Jun. 2011 . L. Xie, J. L. Wei and G. X. Zhu, \u201cProtocol conformance testing method based on improved FSM,\u201d JCM, vol. 32, no. 6, pp. 172-176, Jun. 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11754008_17"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1978.231496"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2006.03.001"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxv122"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1984.1096074"},{"issue":"7","key":"e_1_3_2_1_21_1","first-page":"47","article-title":"Path overlapped method for protocol conformance test generation","volume":"20","author":"Wang H.","year":"2011","unstructured":"Z. B. Wang , H. Zhou , B. H. Zhao , \u201c Path overlapped method for protocol conformance test generation ,\u201d Comput. Sys. Applications , 2011 , 20 ( 7 ): 47 - 52 . Z. B. Wang, H. Zhou, B. H. Zhao, \u201cPath overlapped method for protocol conformance test generation,\u201d Comput. Sys. Applications, 2011, 20(7): 47-52.","journal-title":"Comput. Sys. Applications"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/90.222912"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/319056.319003"}],"event":{"name":"CSSE 2021: 2021 4th International Conference on Computer Science and Software Engineering","acronym":"CSSE 2021","location":"Singapore Singapore"},"container-title":["2021 4th International Conference on Computer Science and Software Engineering (CSSE 2021)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494885.3494901","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3494885.3494901","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:59Z","timestamp":1750191539000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3494885.3494901"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10,22]]},"references-count":21,"alternative-id":["10.1145\/3494885.3494901","10.1145\/3494885"],"URL":"https:\/\/doi.org\/10.1145\/3494885.3494901","relation":{},"subject":[],"published":{"date-parts":[[2021,10,22]]}}}