Login / Signup

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

João Bosco Ferreira FilhoOlivier BaraisMathieu AcherBenoit BaudryJérôme Le Noir
Published in: SPLC (2013)
Keyphrases