{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:48:38Z","timestamp":1760586518324,"version":"3.28.0"},"reference-count":44,"publisher":"Institution of Engineering and Technology (IET)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IET Softw."],"published-print":{"date-parts":[[2010,2,25]]},"DOI":"10.1049\/iet-sen.2009.0080","type":"journal-article","created":{"date-parts":[[2010,2,8]],"date-time":"2010-02-08T23:21:27Z","timestamp":1265671287000},"page":"55-78","source":"Crossref","is-referenced-by-count":7,"title":["Integrated state-based dynamic slicing technique for UML models"],"prefix":"10.1049","volume":"4","author":[{"given":"J.T.","family":"Lallchandani","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, West Bengal 721302, India"}]},{"given":"R.","family":"Mall","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Indian Institute of Technology Kharagpur, Kharagpur, West Bengal 721302, India"}]}],"member":"265","reference":[{"key":"10.1049\/iet-sen.2009.0080_r1","first-page":"143","volume":"4","author":"Garci\u0301a","year":"2005"},{"key":"10.1049\/iet-sen.2009.0080_r2","first-page":"30","volume":"33","author":"Lallchandani","year":"2008"},{"key":"10.1049\/iet-sen.2009.0080_r3","unstructured":"UML: \u2018Unified modeling language superstructure specification\u2019, v2.2. (OMG, February 2009)"},{"key":"10.1049\/iet-sen.2009.0080_r4","first-page":"159","volume":"8","author":"Lallchandani","year":"2009"},{"key":"10.1049\/iet-sen.2009.0080_r5","unstructured":"\u2018Using states in dynamic slicing UML models\u2019, Indian Institute of Technology (IIT), Kharagpur, West Bengal, India, January, 2009"},{"key":"10.1049\/iet-sen.2009.0080_r6","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1109\/32.295895","volume":"20","author":"Chidamber","year":"1994","ISSN":"http:\/\/id.crossref.org\/issn\/0098-5589","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0080_r7","first-page":"439","author":"Weiser","year":"1981","journal-title":"Proc. Fifth Int. Conf. on Software Engineering (ICSE'81)"},{"key":"10.1049\/iet-sen.2009.0080_r8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1314493.1314495","volume":"17","author":"Meyers","year":"2007","ISSN":"http:\/\/id.crossref.org\/issn\/1049-331X","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0080_r9","first-page":"619","author":"Tripathi","year":"2005","journal-title":"Asia-Pacific Software Engineering Conf."},{"key":"10.1049\/iet-sen.2009.0080_r10","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1016\/j.jss.2005.05.001","volume":"79","author":"Briand","year":"2006","ISSN":"http:\/\/id.crossref.org\/issn\/0164-1212","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0080_r11","first-page":"583","volume":"40","author":"Binkley","year":"1998"},{"volume":"160","first-page":"291","author":"Rodrigues","key":"10.1049\/iet-sen.2009.0080_r12"},{"key":"10.1049\/iet-sen.2009.0080_r13","first-page":"121","volume":"3","author":"Tip","year":"1995","ISSN":"http:\/\/id.crossref.org\/issn\/0963-9306","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0080_r14","unstructured":"Weiser, M.: \u2018Program slices: formal psychological, and practical investigations of an automatic program abstraction method\u2019, 1979, PhD, University of Michigan, Computer and Communication Sciences Dept."},{"key":"10.1049\/iet-sen.2009.0080_r15","unstructured":"\u2018Slicing software architectures\u2019, Information Processing Society of Japan (IPSJ), November, 1997"},{"key":"10.1049\/iet-sen.2009.0080_r16","unstructured":"Zhao, J.: \u2018Using dependence analysis to support software architecture understanding\u2019, New technologies on computer software, (International Academic Publishers 1997 September), p. 135\u2013142"},{"key":"10.1049\/iet-sen.2009.0080_r17","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1109\/ICECCS.1998.706659","author":"Zhao","year":"1998","journal-title":"Fourth IEEE Int. Conf. on Engineering of Complex Computer Systems"},{"year":"2001","author":"Zhao","key":"10.1049\/iet-sen.2009.0080_r18"},{"key":"10.1049\/iet-sen.2009.0080_r19","doi-asserted-by":"crossref","unstructured":"Zhao, J., Yang, H., Xiang, L., and Xu, B.: \u2018Architectural slicing to support system evolution\u2019, (Idea Group Publishing, Hershey, PA, USA 2005)","DOI":"10.4018\/978-1-59140-366-1.ch008"},{"key":"10.1049\/iet-sen.2009.0080_r20","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1007\/s00165-008-0086-3","volume":"20","author":"Labbe","year":"2008","ISSN":"http:\/\/id.crossref.org\/issn\/0934-5043","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0080_r21","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1109\/ASWEC.2007.43","author":"Labbe","year":"2007","journal-title":"Proc. 2007 Australian Software Engineering Conf. (ASWEC'07)"},{"key":"10.1049\/iet-sen.2009.0080_r22","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1109\/ISoLA.2006.9","author":"Labbe","year":"2006","journal-title":"Proc. Second Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06)"},{"key":"10.1049\/iet-sen.2009.0080_r23","unstructured":"\u2018Aladdin: a tool for architecture-level dependence analysis of software systems\u2019, University of Colorado, Dept. of Computer Science, April, 1998"},{"key":"10.1049\/iet-sen.2009.0080_r24","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1142\/S021819400100061X","volume":"11","author":"Stafford","year":"2001","ISSN":"http:\/\/id.crossref.org\/issn\/0218-1940","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0080_r25","first-page":"52","volume":"2804","author":"Stafford","year":"2003"},{"key":"10.1049\/iet-sen.2009.0080_r26","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/288408.288441","author":"Stafford","year":"1998","journal-title":"Proc. Third Int. Workshop on Software Architecture (ISAW'98)"},{"key":"10.1049\/iet-sen.2009.0080_r27","first-page":"1253","author":"Bae","year":"2008","journal-title":"Proc. Fifth Int. Conf. on Information Technology: New Generations"},{"key":"10.1049\/iet-sen.2009.0080_r28","doi-asserted-by":"crossref","unstructured":"Egyed, A.: \u2018Automatically discovering transitive relationships in class diagrams\u2019, Model-driven software development, (Springer, Berlin, Heidelberg 2005), p. 179\u2013198","DOI":"10.1007\/3-540-28554-7_8"},{"key":"10.1049\/iet-sen.2009.0080_r29","first-page":"249","volume":"21","author":"Fangjun","year":"2004"},{"key":"10.1049\/iet-sen.2009.0080_r30","doi-asserted-by":"crossref","first-page":"635","DOI":"10.1109\/ICSM.2005.34","author":"Kagdi","year":"2005","journal-title":"Proc. 21st IEEE Int. Conf. on Software Maintenance (ICSM'05)"},{"key":"10.1049\/iet-sen.2009.0080_r31","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1109\/ECBS.2003.1194789","author":"Morel","year":"2003","journal-title":"Proc. 10th IEEE Int. Conf. and Workshop on the Engineering of Computer-Based Systems, 2003"},{"key":"10.1049\/iet-sen.2009.0080_r32","first-page":"61","author":"Kim","year":"1999","journal-title":"Int. Computer Software and Applications Conf. (COMPSAC'99)"},{"journal-title":"Proc. AoM-IAoM 17th Int. Conf. on Computer Science","year":"1999","author":"Kim","key":"10.1049\/iet-sen.2009.0080_r33"},{"key":"10.1049\/iet-sen.2009.0080_r34","first-page":"91","volume":"1","author":"Kim","year":"2000"},{"key":"10.1049\/iet-sen.2009.0080_r35","unstructured":"\u2018A slicer for UML state machines\u2019, Helsinki University of Technology, Laboratory for Theoretical Computer Science, 2007"},{"key":"10.1049\/iet-sen.2009.0080_r36","first-page":"435","author":"Wang","year":"2002","journal-title":"Proc. Fourth Int. Conf. on Formal Engineering Methods (ICFEM 2002)"},{"key":"10.1049\/iet-sen.2009.0080_r37","first-page":"34","author":"Korel","year":"2003","journal-title":"Proc. Int. Conf. on Software Maintenance (ICSM'03)"},{"journal-title":"Abstracts of the FNRS Contact Day: The Theory and Practice of Software Verification","year":"2005","author":"Van Langenhove","key":"10.1049\/iet-sen.2009.0080_r38"},{"key":"10.1049\/iet-sen.2009.0080_r39","first-page":"1","author":"Koskinen","year":"2001","journal-title":"Proc. 7th Symp. on Programming Languages and Tools (SPLST'01)"},{"key":"10.1049\/iet-sen.2009.0080_r40","first-page":"547","volume":"15","author":"Koskinen","year":"2002","ISSN":"http:\/\/id.crossref.org\/issn\/0324-721X","issn-type":"print"},{"key":"10.1049\/iet-sen.2009.0080_r41","first-page":"819","author":"Koskinen","year":"2001","journal-title":"Proc. 23rd Int. Conf. on Software Engineering (ICSE'01)"},{"key":"10.1049\/iet-sen.2009.0080_r42","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/1370018.1370024","author":"Schaefer","year":"2008","journal-title":"Proc. 2008 Int. Workshop on Software Engineering for Adaptive and Self-managing Systems (SEAMS'08)"},{"key":"10.1049\/iet-sen.2009.0080_r43","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1007\/11888116_19","author":"Colangelo","year":"2006","journal-title":"Formal Techniques for Networked and Distributed Systems \u2013 FORTE 2006"},{"key":"10.1049\/iet-sen.2009.0080_r44","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/ICIS-COMSAR.2006.86","author":"Feng","year":"2006","journal-title":"Proc. Fifth IEEE\/ACIS Int. Conf. on Computer and Information Science and First IEEE\/ACIS Int. Workshop on Component-Based Software Engineering, Software Architecture and Reuse (ICIS-COMSAR'06)"}],"container-title":["IET Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/digital-library.theiet.org\/content\/journals\/10.1049\/iet-sen.2009.0080?crawler=true&mimetype=application\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,12]],"date-time":"2024-11-12T18:15:28Z","timestamp":1731435328000},"score":1,"resource":{"primary":{"URL":"http:\/\/digital-library.theiet.org\/doi\/10.1049\/iet-sen.2009.0080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,25]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,2,25]]}},"alternative-id":["10.1049\/iet-sen.2009.0080"],"URL":"https:\/\/doi.org\/10.1049\/iet-sen.2009.0080","relation":{},"ISSN":["1751-8806","1751-8814"],"issn-type":[{"type":"print","value":"1751-8806"},{"type":"electronic","value":"1751-8814"}],"subject":[],"published":{"date-parts":[[2010,2,25]]}}}