Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study (bibtex)
@InProceedings{bosco13, author = {João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir and Benoit Baudry}, title = {Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study}, booktitle = {SPLC'13}, year = {2013}, address = {Tokio Japan}, month = {August} }
Powered by bibtexbrowser