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}
}

From This Paper

Topics from this paper.

Citations

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

Similar Papers

Loading similar papers…