A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Reducing the Model Checking Cost of Product Lines Using Static Analysis Techniques
[chapter]
2012
Lecture Notes in Computer Science
Software product line engineering is a paradigm to develop software applications using platforms and mass customization. Component based approaches play an important role in development of product lines: Components represent features, and different component combinations lead to different products. The number of combinations is exponential in the number of features, which makes the cost of product line model checking high. In this paper, we propose two techniques to reduce the number of
doi:10.1007/978-3-642-35743-5_18
fatcat:mf4rdtojojhcxl42i36yff4aeu