Structure of the 8 papers

[azhe825]

Paper 5 is useless

Year of 2011 (Paper 1), feature interaction detection

Years before 2011 (Paper 2-4), no mention of feature interaction. Mostly about modeling of SPL.

• paper 2: verification modeling 2010
• paper 3: model checking (verification) 2009
• paper 4: software composition 2009

Years after 2011 (Paper 7-9)

• paper 7: feature interaction detection, same goal as paper 1. 2012
• paper 8: back to verification 2013
• paper 9: focus on scalability, most related to Variability-aware Analysis 2013

Conclusion (seems):

• feature interaction only appears in 2011 and 2012. Maybe a closed issue.
• SPL verification lasts long. from 2009 to 2013. All of our papers (except 5) have sth about it.
• We can focus on different approaches of verification mentioned in these papers.

[jessexu20]

Looks cool!

[jessexu20]

I think I can take 2,8 and 9. staring from 2 .

[preems]

I will take 1 and 7. Will also include one more new paper instead of 5.