This lab is quite diverse. It is comprised of a group of really smart people from all over the world, each with different backgrounds, working in a friendly and welcoming environment. Being part of it has been such an enriching experience.
SAT-based Analysis of Large Real-world Feature Models is Easy
|Title||SAT-based Analysis of Large Real-world Feature Models is Easy|
|Publication Type||Conference Paper|
|Year of Publication||2015|
|Authors||Liang, J., V. Ganesh, K. Czarnecki, and V. Raman|
|Conference Name||19th International Software Product Line Conference (SPLC)|