{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:40:04Z","timestamp":1745941204548,"version":"3.40.4"},"reference-count":13,"publisher":"International Academy Publishing (IAP)","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.12.2663-2670","type":"journal-article","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T21:06:02Z","timestamp":1356728762000},"source":"Crossref","is-referenced-by-count":0,"title":["Intra-Transition Data Dependence"],"prefix":"10.17706","volume":"7","author":[{"given":"Shenghui","family":"Shi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qunxiong","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiang","family":"Geng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wenxing","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7163","published-online":{"date-parts":[[2012,12,1]]},"reference":[{"key":"ref1","volume-title":"Program slices formal psychological and practical investigations of an automatic program abstraction method","author":"Weiser","year":"1979","unstructured":"[1] Weiser M.Program slices: formal, psychological, and practical investigations of an automatic program abstraction method [D].Ann Arbor: University of Michigan, 1979"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(99)00063-8"},{"key":"ref3","first-page":"169","article-title":"Computing Backward Slice of EFSMs","volume":"15","author":"Li","year":"2004","unstructured":"[7] Miao Li, Zhang Dafang, Computing Backward Slice of EFSMs[J]. Journal of Software, China, 2004,15:169-178","journal-title":"Journal of Software China"},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[2] Mats P E, Heimdahl, Michael W, Whalen. Reduction and slicing of hierarchical state machines [A]. In Proc. Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering [C]. Springer Verlag, 1997.","DOI":"10.1145\/267896.267926"},{"key":"ref3","unstructured":"[3] Mats P E, Heimdahl, Je_rey M, Thompson, Michael W, Whalen. On the e_ectiveness of slicing hierarchical state machines: A case study [A\/J]. In EUROMICRO '98: Proceedings of the 24th Conference on EUROMICRO[C]. IEEE Computer Society. USA, 1998, 10435"},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[4] Savage P, Walters S, Stephenson M. Automated Test Methodology for Operational Flight Programs [A]. Proceedings of IEEE Aerospace Conference [C]. 1997, 4: 293-305","DOI":"10.1109\/AERO.1997.577516"},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[6] Korel B, Singh I, Tahat L, Vaysburg B. Slicing of state based models[A]. In IEEE International Conference on Software Maintenance (ICSM'03)[C]. USA: IEEE Computer Society Press Sept. 2003, 34\u201343","DOI":"10.1109\/ICSM.2003.1235404"},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[8] Shenghui Shi, Qunxiong Zhu, Wenxing Xu. Intra-Transition and Inter-Transition Data Dependence for EFSM[C]. 2011 International Conference on Computer Application and System Modeling (ICCASM 2011)","DOI":"10.1109\/OMEE.2012.6343560"},{"key":"ref3","unstructured":"[9] Korell B. Private communication, 2009"},{"key":"ref3","unstructured":"[10] Korel B, Koutsogiannakis G, Tahat L H. Model-based test prioritization heuristic methods and their evaluation [A]. In A-MOST '07: Proceedings of the 3rd international workshop on Advances in model-based testing[C]. USA: ACM, 2007, 34\u201343"},{"key":"ref3","unstructured":"[11] Strobl F, Wisspeintner A. Specification of an elevator control system \u2013 an autofocus case study[R]. Technical Report TUM-I9906, Technische Universit\u00e4t M\u00fcnchen, 1999."},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"[12] Bourhfir C, Dssouli R, Aboulhamid E, Rico N. Automatic executable test case generation for extended finite state machine protocols [A]. In IWTCS'97[C]. 1997, 75\u201390","DOI":"10.1007\/978-0-387-35198-8_6"},{"key":"ref3","unstructured":"[13] Zaghal R Y, Khan J I. EFSM\/SDL modeling of the original TCP standard (RFC793) and the congestion control mechanism of TCP Reno[R]. Technical Report TR2005-07-22, Internetworking and Media Communications Research Laboratories, Department of Computer Science, Kent State University, 2005."}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T15:20:11Z","timestamp":1745940011000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/7125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,1]]},"references-count":13,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2012,12,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.12.2663-2670","relation":{},"ISSN":["1796-217X"],"issn-type":[{"type":"print","value":"1796-217X"}],"subject":[],"published":{"date-parts":[[2012,12,1]]}}}