Literature Analysis on Model based Slicing

To understand and test a large software product is very challenging task. One way to ease this is program slicing technique that decomposes the large programs into smaller ones and another is model based slicing that decomposes the large software architecture model into smaller models at the early stage of SDLC (Software Development Life Cycle). This literature analysis presents an overview of Model based slicing, including the various general approaches and techniques used to compute slices. General Terms Slicing, UML Models

[1]  Mathieu Acher,et al.  Separation of concerns in feature modeling: support and applications , 2012, AOSD.

[2]  Lawrence Chung,et al.  Software architecture analysis: a dynamic slicing approach , 2000 .

[3]  Jaiprakash T. Lallchandani,et al.  A Dynamic Slicing Technique for UML Architectural Models , 2011, IEEE Transactions on Software Engineering.

[4]  Jaiprakash T. Lallchandani,et al.  Static Slicing of UML Architectural Models , 2009, J. Object Technol..

[5]  Philip Samuel,et al.  Automatic test case generation from UML communication diagrams , 2007, Inf. Softw. Technol..

[6]  Philip Samuel,et al.  Slicing-based test case generation from UML activity diagrams , 2009, SOEN.

[7]  Jianjun Zhao,et al.  Applying slicing technique to software architectures , 1998, Proceedings. Fourth IEEE International Conference on Engineering of Complex Computer Systems (Cat. No.98EX193).

[8]  Jaiprakash T. Lallchandani,et al.  Slicing UML architectural models , 2008, SOEN.

[9]  YiTong,et al.  DEPENDENCE ANALYSIS FOR UML CLASS DIAGRAMS , 2004 .

[10]  Zhao Jianjun,et al.  Slicing Software Architectures , 1997 .

[11]  Lawrence Chung,et al.  Dynamic software architecture slicing , 1999, Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032).

[12]  Uffe Kock Wiil,et al.  Verification-driven slicing of UML/OCL models , 2010, ASE.

[13]  Heung Seok Chae,et al.  Modularization of the UML Metamodel Using Model Slicing , 2008, Fifth International Conference on Information Technology: New Generations (itng 2008).

[14]  Uffe Kock Wiil,et al.  UOST: UML/OCL aggressive slicing technique for efficient verification of models , 2010, SAM'10.

[15]  Benoît Combemale,et al.  Kompren: modeling and generating model slicers , 2012, Software & Systems Modeling.

[16]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[17]  Kiyoshi Agusa,et al.  Sequence Diagram Slicing , 2009, 2009 16th Asia-Pacific Software Engineering Conference.

[18]  Andrew M. Sutton,et al.  Context-free slicing of UML class models , 2005, 21st IEEE International Conference on Software Maintenance (ICSM'05).

[19]  Doo-Hwan Bae,et al.  Deriving Data Dependence from/for UML State Machine Diagrams , 2011, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement.

[20]  Mehrdad Sabetzadeh,et al.  SafeSlice: a model slicing and design safety inspection tool for SysML , 2011, ESEC/FSE '11.

[21]  Ákos Horváth,et al.  Dynamic Backward Slicing of Model Transformations , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[22]  Prafulla Kumar Behera,et al.  Test Case Design Using Slicing of UML Interaction Diagram , 2012 .

[23]  Marco Furini,et al.  International Journal of Computer and Applications , 2010 .

[24]  Ji Wang,et al.  Slicing Hierarchical Automata for Model Checking UML Statecharts , 2002, ICFEM.

[25]  Jacques Julliand,et al.  B model slicing and predicate abstraction to generate tests , 2013, Software Quality Journal.

[26]  Jean-Marc Jézéquel,et al.  Meta-model Pruning , 2009, MoDELS.

[27]  Kevin Lano.  Slicing of UML state machines , 2009 .

[28]  Bogdan Korel,et al.  Slicing of state-based models , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[29]  Mathieu Acher,et al.  Slicing feature models , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[30]  Kirsten Winter,et al.  Slicing Behavior Tree Models for Verification , 2010, IFIP TCS.

[31]  Philip Samuel,et al.  A Novel Test Case Design Technique Using Dynamic Slicing of UML Sequence Diagrams , 2008, e Informatica Softw. Eng. J..

[32]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[33]  R. Mall,et al.  UML Sequence Diagram Based Testing Using Slicing , 2005, 2005 Annual IEEE India Conference - Indicon.

[34]  Ákos Horváth,et al.  Towards dynamic backward slicing of model transformations , 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

[35]  R. Mall,et al.  Automatic Test Case Generation from UML Sequence Diagram , 2007, 15th International Conference on Advanced Computing and Communications (ADCOM 2007).

[36]  Benoît Combemale,et al.  Modeling model slicers , 2011, MODELS'11.

[37]  Uffe Kock Wiil,et al.  Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams , 2011, Adv. Softw. Eng..

[38]  Heung Seok Chae,et al.  UMLSlicer: A tool for modularizing the UML metamodel using slicing , 2008, 2008 8th IEEE International Conference on Computer and Information Technology.

[39]  Pierre-Yves Schobbens,et al.  Supporting multiple perspectives in feature-based configuration , 2013, Software & Systems Modeling.