AbstractIn order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental approaches have been proposed to their formal behavioral modeling. In this paper, we provide a structured overview of those formalisms based on labeled transition systems and compare their expressiveness in terms of the set of products they can specify. Moreover, we define the notion of tests for each of these formalisms and show that our notions of testing precisely capture product derivation, i.e., all valid products will pass the set of test cases of the product line and each invalid product fails at least one test case of the product line
Abstract: Software product lines constitute a new paradigm where industrial production techniques ar...
Product line processes still lack support for testing end-product functions by taking advantage of t...
We address the question of how to select test cases in a controlled model-based software product lin...
In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental app...
In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental app...
In Beohar et al. (2016) [9], we established an expressiveness hierarchy and studied the notions of r...
International audienceThe Software Product Lines (SPLs) paradigm promises faster development cycles ...
International audienceSoftware Product Lines (SPLs) are families of similar softwareproducts built f...
Software product line (SPL) engineering has become common practice for mass production and customiza...
Software product line (SPL) engineering has become common practice for mass production and customiza...
Abstract. The Software Product Lines (SPLs) paradigm promises faster devel-opment cycles and increas...
ABSTRACT Software product line modeling has received a great deal of attention for its potential in ...
We extend the theory of input-output conformance testing to the setting of software product lines. I...
National audienceSoftware Product Lines (SPLs) are families of similar software products built from ...
A major challenge in testing software product lines is efficiency. In particular, testing a product ...
Abstract: Software product lines constitute a new paradigm where industrial production techniques ar...
Product line processes still lack support for testing end-product functions by taking advantage of t...
We address the question of how to select test cases in a controlled model-based software product lin...
In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental app...
In order to provide a rigorous foundation for Software Product Lines (SPLs), several fundamental app...
In Beohar et al. (2016) [9], we established an expressiveness hierarchy and studied the notions of r...
International audienceThe Software Product Lines (SPLs) paradigm promises faster development cycles ...
International audienceSoftware Product Lines (SPLs) are families of similar softwareproducts built f...
Software product line (SPL) engineering has become common practice for mass production and customiza...
Software product line (SPL) engineering has become common practice for mass production and customiza...
Abstract. The Software Product Lines (SPLs) paradigm promises faster devel-opment cycles and increas...
ABSTRACT Software product line modeling has received a great deal of attention for its potential in ...
We extend the theory of input-output conformance testing to the setting of software product lines. I...
National audienceSoftware Product Lines (SPLs) are families of similar software products built from ...
A major challenge in testing software product lines is efficiency. In particular, testing a product ...
Abstract: Software product lines constitute a new paradigm where industrial production techniques ar...
Product line processes still lack support for testing end-product functions by taking advantage of t...
We address the question of how to select test cases in a controlled model-based software product lin...