Configuration Lifting: Verification meets Software Configuration

@article{Post2008ConfigurationLV,
  title={Configuration Lifting: Verification meets Software Configuration},
  author={Hendrik Post and Carsten Sinz},
  journal={2008 23rd IEEE/ACM International Conference on Automated Software Engineering},
  year={2008},
  pages={347-350}
}
Configurable software is ubiquitous, and the term software product line (SPL) has been coined for it lately. It remains a challenge, however, how such software can be verified over all variants. Enumerating all variants and analyzing them individually is inefficient, as knowledge cannot be shared between analysis runs. Instead of enumeration we present a new technique called lifting that converts all variants into a meta-program, and thus facilitates the configuration-aware application of… CONTINUE READING
Highly Influential
This paper has highly influenced 16 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 98 citations. REVIEW CITATIONS
66 Extracted Citations
4 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 66 extracted citations

99 Citations

01020'09'11'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 99 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…