M. Acher, P. Collet, P. Lahire, and R. France, Slicing feature models, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011.
DOI : 10.1109/ASE.2011.6100089

M. Acher, P. Collet, P. Lahire, and R. France, Separation of concerns in feature modeling, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12, 2012.
DOI : 10.1145/2162049.2162051
URL : https://hal.archives-ouvertes.fr/hal-00767423

K. Androutsopoulos, D. Binkley, D. Clark, N. Gold, M. Harman et al., Model projection, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985834

J. Ho-bae, H. Seok, and C. , UMLSlicer: A tool for modularizing the UML metamodel using slicing, 8th IEEE International Conference on Computer and Information Technology (CIT), pp.772-777, 2008.

O. Beaudoux, A. Blouin, O. Barais, and J. M. , Active Operations on Collections, MoDELS'10: Proc. of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pp.91-105, 2010.
DOI : 10.1007/978-3-642-16145-2_7
URL : https://hal.archives-ouvertes.fr/inria-00542763

D. Binkley, L. R. Raszewski, C. Smith, and M. Harman, An empirical study of amorphous slicing as a program comprehension support tool, Proceedings IWPC 2000. 8th International Workshop on Program Comprehension, pp.161-170, 2000.
DOI : 10.1109/WPC.2000.852490

A. Blouin, B. Combemale, B. Baudry, and O. Beaudoux, Modeling Model Slicers, ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MOD- ELS'11), pp.62-76, 2011.
DOI : 10.1016/S0164-1212(98)10055-9
URL : https://hal.archives-ouvertes.fr/inria-00609072

M. Chunyu and Z. Jianmin, Dynamic Slicing of Statechart Specifications for Reactive Systems, 2011 Fourth International Conference on Intelligent Computation Technology and Automation, pp.110-116, 2011.
DOI : 10.1109/ICICTA.2011.34

T. Clark, A general model-based slicing framework, Proc. of the Workshop on Composition and Evolution of Model Transformations, 2011.

D. Falessi, S. Nejati, M. Sabetzadeh, L. Briand, and A. Messina, SafeSlice, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, 2011.
DOI : 10.1145/2025113.2025191

K. Gallagher and D. Binkley, Program slicing, 2008 Frontiers of Software Maintenance, 2008.
DOI : 10.1109/FOSM.2008.4659249

R. Hall, Automatic extraction of executable program subsets by simultaneous dynamic program slicing, Automated Software Engineering, vol.13, issue.3, pp.33-53, 1995.
DOI : 10.1007/BF00873408

M. Harman and R. Hierons, An overview of program slicing, Software Focus, vol.40, issue.3, pp.85-92, 2001.
DOI : 10.1002/swf.41

M. P. Heimdahl, J. M. Thompson, and M. W. Whalen, On the effectiveness of slicing hierarchical state machines: a case study, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204), pp.435-444, 1998.
DOI : 10.1109/EURMIC.1998.711837

I. Herman, G. Melançon, and M. S. Marshall, Graph visualization and navigation in information visualization: A survey, IEEE Transactions on Visualization and Computer Graphics, vol.6, issue.1, pp.24-43, 2000.
DOI : 10.1109/2945.841119

A. Hubaux, P. Heymans, P. Schobbens, E. Khalil-abbasi, and D. Deridder, Supporting multiple perspectives in feature-based configuration. Software and Systems Modeling Estimating footprints of model operations, International Conference on Software Engineering (ICSE'11), 2011.
URL : https://hal.archives-ouvertes.fr/hal-00718144

H. Kagdi, J. I. Maletic, and A. Sutton, Context-free slicing of UML class models, 21st IEEE International Conference on Software Maintenance (ICSM'05), pp.635-638, 2005.
DOI : 10.1109/ICSM.2005.34

P. Kelsen, Q. Ma, and C. Glodt, Models within Models: Taming Model Complexity Using the Sub-model Lattice, proc. of International Conference on Fundamental Approaches to Software Engineering, pp.171-185, 2011.
DOI : 10.1007/978-3-642-19811-3_13

T. Kim, Y. Song, L. Chung, and D. T. Huynh, Software architecture analysis: a dynamic slicing approach, ACIS International Journal of Computer & Information Science, vol.1, pp.91-103, 2000.

B. Korel, I. Singh, L. Tahat, and B. Vaysburg, Slicing of state-based models, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings., 2003.
DOI : 10.1109/ICSM.2003.1235404

S. Labbé and J. Gallois, Slicing communicating automata specifications: polynomial algorithms for model reduction, Formal Aspects of Computing, vol.30, issue.2, pp.563-595, 2008.
DOI : 10.1007/s00165-008-0086-3

T. Jaiprakash, R. Lallchandani, and . Mall, A dynamic slicing technique for UML architectural models, IEEE Transactions on Software Engineering, p.99, 2011.

K. Lano and S. Kolahdouz-rahimi, Slicing of UML Models Using Model Transformations, International Conference on Model Driven Engineering Languages and Systems (MODELS'10), pp.228-242, 2010.
DOI : 10.1109/TSE.1984.5010248

A. Luangsodsai and C. Fox, Concurrent statechart slicing, 2010 2nd Computer Science and Electronic Engineering Conference (CEEC), pp.1-7, 2010.
DOI : 10.1109/CEEC.2010.5606493

P. Muller, F. Fleurey, and J. Jézéquel, Weaving executability into objectoriented meta-languages, Proceedings of MODEL- S/UML'2005, pp.264-278, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00795095

J. Q. Ning, A. Engberts, W. Voytek, and . Kozaczynski, Automated support for legacy code understanding, Communications of the ACM, vol.37, issue.5, pp.50-57, 1994.
DOI : 10.1145/175290.175295

J. Rilling and T. Klemola, Identifying comprehension bottlenecks using program slicing and cognitive complexity metrics, MHS2003. Proceedings of 2003 International Symposium on Micromechatronics and Human Science (IEEE Cat. No.03TH8717), pp.115-124, 2003.
DOI : 10.1109/WPC.2003.1199195

P. Samuel and R. Mall, Slicing-based test case generation from UML activity diagrams, ACM SIGSOFT Software Engineering Notes, vol.34, issue.6, pp.1-14, 2009.
DOI : 10.1145/1640162.1666579

S. Sen, N. Moha, B. Baudry, and J. Jézéquel, Meta-model Pruning, 12th International Conference on Model Driven Engineering Languages and Systems, 2009.
DOI : 10.1016/S1571-0661(04)80066-5
URL : https://hal.archives-ouvertes.fr/inria-00468514

A. Shaikh, R. Clarisó, U. K. Wiil, and N. Memon, Verification-driven slicing of UML/OCL models, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.185-194, 2010.
DOI : 10.1145/1858996.1859038

A. Shaikh, U. K. Wiil, and N. Memon, UOST: UML/OCL Aggressive Slicing Technique for Efficient Verification of Models, System Analysis and Modeling: About Models -6th International Workshop SAM'10, pp.173-192, 2010.
DOI : 10.1007/978-3-642-21652-7_11

A. Shaikh, U. K. Wiil, and N. Memon, Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams, Advances in Software Engineering, p.18, 2011.
DOI : 10.1007/BF02943330

J. Silva, A vocabulary of program slicing-based techniques, ACM Computing Surveys, vol.44, issue.3, 2011.
DOI : 10.1145/2187671.2187674

J. Steel, R. Drogemuller, and B. Toth, Model interoperability in building information modelling . Software and Systems Modeling, pp.1-11, 2010.

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-414, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

. D. Margaret-anne, F. D. Storey, H. A. Fracchia, and . Müller, Cognitive design elements to support the construction of a mental model during software exploration, Journal of Systems and Software, vol.44, issue.3, pp.171-185, 1999.

Z. Ujhelyi, Á. Horváth, and D. Varró, Towards dynamic backward slicing of model transformations, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.404-407, 2011.
DOI : 10.1109/ASE.2011.6100084

S. Van-langenhove and A. Hoogewijs, SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts, Proceedings of the 18th international conference on Recent trends in algebraic development techniques, pp.142-155, 2007.
DOI : 10.1007/978-3-540-71998-4_9

G. A. Venkatesh, The semantic approach to program slicing, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, pp.107-119, 1991.

J. Wang, W. Dong, and Z. Qi, Slicing hierarchical automata for model checking UML statecharts, Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods , ICFEM 2002, pp.435-446, 2002.

M. Weiser, Program Slicing, Proceedings of the 5th international conference on Software engineering, pp.439-449, 1981.
DOI : 10.1109/TSE.1984.5010248

B. Xu, J. Qian, X. Zhang, Z. Wu, and L. Chen, A brief survey of program slicing, ACM SIGSOFT Software Engineering Notes, vol.30, issue.2, pp.1-36, 2005.
DOI : 10.1145/1050849.1050865

N. Yatapanage, K. Winter, and S. Zafar, Slicing Behavior Tree Models for Verification, IFIP Advances in Information and Communication Technology, pp.125-139, 2010.
DOI : 10.1007/978-3-642-15240-5_10
URL : https://hal.archives-ouvertes.fr/hal-01054464

J. Zhao, Applying slicing technique to software architectures, Fourth IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'98, pp.87-98, 1998.