SAT-based analysis of large real-world feature models is easy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman. SAT-based analysis of large real-world feature models is easy. In Douglas C. Schmidt, editor, Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015. pages 91-100, ACM, 2015. [doi]

This author has not been identified. Look up 'Jia Hui (Jimmy) Liang' in GoogleThis author has not been identified. Look up 'Vijay Ganesh' in GoogleThis author has not been identified. It may be one of the following persons:

Krzysztof Czarnecki

Look up 'Krzysztof Czarnecki' in GoogleThis author has not been identified. Look up 'Venkatesh Raman' in Google

runs on WebDSL