112 search results - page 1 / 23 » Testing Software Product Lines Using Incremental Test Genera... |
ISSRE
2008
IEEE
13 years 11 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...
TSE
2010
12 years 11 months ago
2010
Recent advances in mechanical techniques for systematic testing have increased our ability to automatically find subtle bugs, and hence to deploy more dependable software. This pap...
FASE
2012
Springer
12 years 18 days ago
2012
Springer
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
ICST
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract—Software Product Lines (SPL) are difficult to validate due to combinatorics induced by variability across their features. This leads to combinatorial explosion of the n...
ICST
2010
IEEE
13 years 2 months ago
2010
IEEE
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...