FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, p.22, 2013. ,
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175
Supporting Consistency Checking between Features and Software Product Line Use Scenarios, Lecture Notes in Computer Science, vol.6727, pp.20-35, 2011. ,
DOI : 10.1007/978-3-642-21347-2_3
Model Superimposition in Software Product Lines ,
DOI : 10.1007/11561347_28
An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, pp.49-84, 2009. ,
DOI : 10.5381/jot.2009.8.5.c5
Formal Description of Variability in Product Families, 2011 15th International Software Product Line Conference, pp.130-139, 2011. ,
DOI : 10.1109/SPLC.2011.34
Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, pp.139-143, 2010. ,
DOI : 10.1145/1743546.1743583
URL : https://hal.archives-ouvertes.fr/inria-00542747
Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010. ,
DOI : 10.1016/j.is.2010.01.001
Searching the boundaries of a modeling space to test metamodels, Antoniol et al. [3], pp.131-140 ,
URL : https://hal.archives-ouvertes.fr/hal-00665866
Variability management in software product lines: a systematic review, SPLC'09, pp.81-90, 2009. ,
Abstract delta modeling, Proceedings of the 9th GPCE'10 conference, pp.13-22, 2010. ,
Symbolic model checking of software product lines, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.321-330, 2011. ,
DOI : 10.1145/1985793.1985838
URL : https://hal.archives-ouvertes.fr/hal-01087657
Model checking <u>lots</u> of systems, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.335-344, 2010. ,
DOI : 10.1145/1806799.1806850
Software Product Lines : Practices and Patterns, 2001. ,
Mapping Features to Models: A Template Approach Based on Superimposed Variants, GPCE'05, pp.422-437, 2005. ,
DOI : 10.1007/11561347_28
Model-driven software product lines, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '05, pp.126-127, 2005. ,
DOI : 10.1145/1094855.1094896
Cool features and tough decisions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.173-182, 2012. ,
DOI : 10.1145/2110147.2110167
Verifying feature-based model templates against well-formedness OCL constraints, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.211-220, 2006. ,
DOI : 10.1145/1173706.1173738
Structuring the modeling space and supporting evolution in software product line engineering, Journal of Systems and Software, vol.83, issue.7, pp.1108-1122, 2010. ,
DOI : 10.1016/j.jss.2010.02.018
Automatically Detecting and Tracking Inconsistencies in Software Design Models, IEEE Transactions on Software Engineering, vol.37, issue.2, pp.188-204, 2011. ,
DOI : 10.1109/TSE.2010.38
Customizing the common variability language semantics for your domain models, Proceedings of the VARiability for You Workshop on Variability Modeling Made Useful for Everyone, VARY '12, pp.3-8, 2012. ,
DOI : 10.1145/2425415.2425417
Standardizing Variability ??? Challenges and Solutions, SDL Forum, pp.233-246, 2011. ,
DOI : 10.1016/j.comnet.2006.08.008
Minimum Pairwise Coverage Using Constraint Programming Techniques, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.773-774 ,
DOI : 10.1109/ICST.2012.174
Adding Standardized Variability to Domain Specific Languages, 2008 12th International Software Product Line Conference, pp.139-148, 2008. ,
DOI : 10.1109/SPLC.2008.25
Relating Feature Models to Other Models of a Software Product Line, pp.69-114, 2010. ,
DOI : 10.1007/978-3-642-16086-8_3
An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.46-55, 2012. ,
DOI : 10.1145/2362536.2362547
Evaluating Models for Model-Based Debugging, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.128-137, 2008. ,
DOI : 10.1109/ASE.2008.23
Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008. ,
DOI : 10.1109/SPLC.2008.38
URL : https://hal.archives-ouvertes.fr/inria-00456507
Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.82, issue.8, pp.3-4605, 2012. ,
DOI : 10.1007/s11219-011-9160-9
URL : https://hal.archives-ouvertes.fr/hal-00805856
Software Product Line Engineering: Foundations, Principles and Techniques, 2005. ,
DOI : 10.1007/3-540-28901-1
Delta-Oriented Programming of Software Product Lines, Proceedings of the 14th international conference on Software product lines: going beyond, SPLC'10, pp.77-91, 2010. ,
DOI : 10.1007/978-3-642-15579-6_6
Model-Driven Engineering, IEEE Computer, vol.39, issue.2, 2006. ,
A taxonomy of variability realization techniques, Software: Practice and Experience, vol.2, issue.8, pp.705-754, 2005. ,
DOI : 10.1002/spe.652
Specifying a Testing Oracle for Train Stations ??? Going beyond with Product Line Technology, LNCS, vol.7167, pp.187-201, 2011. ,
DOI : 10.1007/978-3-642-29645-1_20
Developing a Software Product Line for Train Control: A Case Study of CVL, Lecture Notes in Computer Science, vol.6287, pp.106-120, 2010. ,
DOI : 10.1007/978-3-642-15579-6_8
Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.95-104, 2007. ,
DOI : 10.1145/1289971.1289989
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development, 11th International Software Product Line Conference (SPLC 2007), pp.233-242, 2007. ,
DOI : 10.1109/SPLINE.2007.23
Method & tools to secure and support collaborative architecting of constrained systems, 18 th International Symposium of the INCOSE, 2008. ,
Towards Correct Product Derivation in Model-Driven Product Lines, Lecture Notes in Computer Science, vol.7744, pp.179-197, 2012. ,
DOI : 10.1007/978-3-642-36757-1_11
Software Product Line Engineering with the UML: Deriving Products, Software Product Lines, pp.557-588, 2006. ,
DOI : 10.1007/978-3-540-33253-4_15