{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T05:28:11Z","timestamp":1747805291816,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/icsm.2009.5306309","type":"proceedings-article","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T18:43:34Z","timestamp":1257446614000},"page":"287-296","source":"Crossref","is-referenced-by-count":24,"title":["A theoretical and empirical study of EFSM dependence"],"prefix":"10.1109","author":[{"given":"Kelly","family":"Androutsopoulos","sequence":"first","affiliation":[]},{"given":"Nicolas","family":"Gold","sequence":"additional","affiliation":[]},{"given":"Mark","family":"Harman","sequence":"additional","affiliation":[]},{"given":"Zheng","family":"Li","sequence":"additional","affiliation":[]},{"given":"Laurence","family":"Tratt","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1145\/267896.267926","article-title":"reduction and slicing of hierarchical state machines","author":"heimdahl","year":"1997","journal-title":"Proc ACM SIGSOFT Symposium on Foundations of Software Engineering"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287647"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1998.711837"},{"key":"33","article-title":"efsm\/sdl modeling of the original tcp standard (rfc793) and the congestion control mechanism of tcp reno","author":"zaghal","year":"2005","journal-title":"Technical Report TR2005-07- 22 Internetworking and Media Communications Research Laboratories"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1596527.1596528"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88479-8_21"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2007.4362659"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/32.83912"},{"key":"12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/11754008_1","article-title":"symbolic execution techniques for test purpose definition","author":"gaston","year":"2006","journal-title":"Proc Testing of Communicating Systems"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1291535.1291539"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325713"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.1997.601269"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2003.1235404"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-008-0086-3"},{"key":"25","article-title":"a slicer for uml state machines","author":"ojala","year":"2007","journal-title":"Technical Report HUT-TCS-25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007541"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_7"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1275497.1275502"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.90"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2005.28"},{"key":"2","doi-asserted-by":"crossref","first-page":"216","DOI":"10.1007\/978-3-642-00593-0_15","article-title":"control dependence for extended finite state machines","author":"androutsopoulos","year":"2009","journal-title":"Fundamental Approaches to Software Engineering (FASE)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/WPC.2003.1199209"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2007.10.002"},{"key":"30","article-title":"specification of an elevator control system - an autofocus case study","author":"strobl","year":"1999","journal-title":"Technical Report TUM-I9906"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/201055.201056"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(03)62003-6"},{"journal-title":"JSlice Dynamic Slicing Tool for Java","year":"0","author":"wang","key":"32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2003.1235405"},{"key":"31","first-page":"121","article-title":"a survey of program slicing techniques","volume":"3","author":"tip","year":"1995","journal-title":"Journal of Programming Languages"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1217295.1217297"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(98)00086-X"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35198-8_6"}],"event":{"name":"2009 IEEE International Conference on Software Maintenance (ICSM)","start":{"date-parts":[[2009,9,20]]},"location":"Edmonton, AB, Canada","end":{"date-parts":[[2009,9,26]]}},"container-title":["2009 IEEE International Conference on Software Maintenance"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5290639\/5306271\/05306309.pdf?arnumber=5306309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T16:53:34Z","timestamp":1558630414000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5306309\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/icsm.2009.5306309","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}