70
Voted
ISSRE
2008
IEEE
15 years 3 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...