An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints

@inproceedings{Yan2009AnOS,
  title={An Optimization Strategy to Feature Models' Verification by Eliminating Verification-Irrelevant Features and Constraints},
  author={Hua Yan and Wei Zhang and Haiyan Zhao and Hong Mei},
  booktitle={ICSR},
  year={2009}
}
Feature models provide an effective approach to requirements reuse. One important problem related to feature models is the verification problem, which is NP-complete in theory. The existing approaches to feature models' verification mostly focus on how to automate the verification of feature models using third-party's tools, while these tools are usually designed to resolve general kinds of problems. However, by simply using these third-party's tools, large-sized feature models still can hardly… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 19 CITATIONS

Defects in Product Line Models and How to Identify Them

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

A Generic Approach for Automated Verification of Product Line Models

VIEW 6 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Using microsoft solver foundation to analyse feature models and configurations

  • 2016 8th Euro American Conference on Telematics and Information Systems (EATIS)
  • 2016
VIEW 1 EXCERPT

A Refinement Technique for Duplication and Collision Between Features in Software Product Line Engineering

  • International Journal of Software Engineering and Knowledge Engineering
  • 2014
VIEW 1 EXCERPT
CITES METHODS

References

Publications referenced by this paper.
SHOWING 1-10 OF 10 REFERENCES