Functional Testing of Feature Model Analysis Tools. A First Step
暂无分享,去创建一个
[1] Jeff Z. Pan,et al. Verifying feature models using OWL , 2007, J. Web Semant..
[2] Antonio Ruiz Cortés,et al. FAMA Framework , 2008, 2008 12th International Software Product Line Conference.
[3] Hong Zhu,et al. Software unit test coverage and adequacy , 1997, ACM Comput. Surv..
[4] Haiyan Zhao,et al. A Propositional Logic-Based Method for Verification of Feature Models , 2004, ICFEM.
[5] Fan Shao. Feature Model Based on Description Logics , 2007 .
[6] Antonio Ruiz Cortés,et al. A First Step Towards a Framework for the Automated Analysis of Feature Models , 2006 .
[7] Don S. Batory,et al. Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.
[8] Stephen R. Schach,et al. Testing: principles and practice , 1996, CSUR.
[9] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[10] Antonio Ruiz Cortés,et al. Using Java CSP Solvers in the Automated Analyses of Feature Models , 2005, GTTSE.
[11] Sergio Segura,et al. A Survey on the Automated Analyses of Feature Models , 2006, JISBD.
[12] Miguel Toro,et al. Automated error analysis for the agilization of feature modeling , 2008, J. Syst. Softw..
[13] Luciano Baresi,et al. An Introduction to Software Testing , 2006, FoVMT.
[14] Antonio Ruiz Cortés,et al. Automated Reasoning on Feature Models , 2005, CAiSE.
[15] Robert V. Binder,et al. Testing Object-Oriented Systems: Models, Patterns, and Tools , 1999 .