Covering SPL Behaviour with Sampled Configurations: An Initial Assessment
Abstract Test Case Generation for Behavioural Testing of Software Product Lines
A Vision for Behavioural Model-Driven Validation of Software Product Lines
Generating High-Level Event-B System Models from KAOS Requirements Models