Affiliation:
1. Universidad de Málaga, Málaga, Andalucía, Spain
2. Department of Computer Science
Funder
Center for Hierarchical Manufacturing, National Science Foundation
Consejería de Economía, Innovación, Ciencia y Empleo, Junta de Andalucía
Ministerio de Economía y Competitividad
Reference65 articles.
1. IncLing: efficient product-line testing using incremental pairwise sampling
2. Sven Apel Don Batory Christian Kástner and Gunter Saake. 2016. Feature-oriented software product lines. Springer NY USA. Sven Apel Don Batory Christian Kástner and Gunter Saake. 2016. Feature-oriented software product lines . Springer NY USA.
3. “Decision Procedures: An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008
4. Splitting on Demand in SAT Modulo Theories
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献