Generating counterexamples of model-based software product lines: an exploratory study.

Joo Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Benoit Baudry, Jrme Le Noir

Browse the full SPLC paper archive.