Model checking
Software product lines: practices and patterns
Software product lines: practices and patterns
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Design verification for product line development
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
A systematic mapping study of software product lines testing
Information and Software Technology
Composing Event-B specifications: case-study experience
SC'11 Proceedings of the 10th international conference on Software composition
Efficient synthesis of feature models
Proceedings of the 16th International Software Product Line Conference - Volume 1
Using regression testing to analyze the impact of changes to variability models on products
Proceedings of the 16th International Software Product Line Conference - Volume 1
Product-line verification with feature-oriented contracts
Proceedings of the 2013 International Symposium on Software Testing and Analysis
| Hi-index | 0.00 |
Using formal verification techniques to verify designs within a product line.