-
B Model Slicing and Predicate Abstraction to Generate Tests
Accepted manuscript. Revised and extended version of a TAP'10 paper. To appear. -
Separation of Concerns in Feature Modeling: Support and Applications
International audience -
Classification of errors threats by static analysis, program sclicing and str...
Software validation remains a crucial part in software development process. Two major techniques have improved in recent years, dynamic and static analysis. They have... -
Breathing Ontological Knowledge Into Feature Model Management
Feature Models (FMs) are a popular formalism for modeling and reasoning about the configurations of a software product line. As the manual construction or management... -
Feature Model Management: Smart Operations and Language Support
International audience
