Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Software product lines: practices and patterns
Software product lines: practices and patterns
Interfaces for Modular Feature Verification
Proceedings of the 17th IEEE international conference on Automated software engineering
Modular Verification of Open Features Using Three-Valued Model Checking
Automated Software Engineering
FEATUREHOUSE: Language-independent, automated software composition
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
A calculus for uniform feature composition
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Improving the testing and testability of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Pairwise feature-interaction testing for SPLs: potentials and limitations
Proceedings of the 15th International Software Product Line Conference, Volume 2
Detection of feature interactions using feature-aware verification
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Type checking annotation-based product lines
ACM Transactions on Software Engineering and Methodology (TOSEM)
Predicting performance via automated feature-interaction detection
Proceedings of the 34th International Conference on Software Engineering
An error-tolerant type system for variational lambda calculus
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Family-based deductive verification of software product lines
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
A variability-aware module system
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Variability-aware safety analysis using delta component fault diagrams
Proceedings of the 17th International Software Product Line Conference co-located workshops
Proceedings of the 17th International Software Product Line Conference co-located workshops
A comparison of product-based, feature-based, and family-based type checking
Proceedings of the 12th international conference on Generative programming: concepts & experiences
Towards statistical prioritization for software product lines testing
Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems
Hi-index | 0.00 |