Model Checking of Domain Artifacts in Product Line Engineering

  title={Model Checking of Domain Artifacts in Product Line Engineering},
  author={Kim Lauenroth and Klaus Pohl and Simon Toehning},
  journal={2009 IEEE/ACM International Conference on Automated Software Engineering},
In product line engineering individual products are derived from the domain artifacts of the product line. The reuse of the domain artifacts is constraint by the product line variability. Since domain artifacts are reused in several products, product line engineering benefits from the verification of domain artifacts. For verifying development artifacts, model checking is a well-established technique in single system development. However, existing model checking approaches do not incorporate… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 170 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 97 extracted citations

170 Citations

Citations per Year
Semantic Scholar estimates that this publication has 170 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…