Incremental software product line verification: a performance analysis with dead variable code.

Christian Krher, Moritz Flter, Lea Gerling, Klaus Schmid

Browse the full SPLC paper archive.