Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study

by Joao Bosco Ferreira Filho, Benoit Baudry, Olivier Barais, Jérôme Le Noir, Mathieu Acher
Reference:
Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study (Joao Bosco Ferreira Filho, Benoit Baudry, Olivier Barais, Jérôme Le Noir, Mathieu Acher), In Proc. of the Int. Software Product Line Conf. (SPLC), 2013.
Bibtex Entry:
@inproceedings{ferreirafilho13,
    keywords = {MDE, SPL},
    year = {2013},
    pages={72-81},
    title = {{Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study}},
    author = {Ferreira Filho, Joao Bosco and Baudry, Benoit and Barais, Olivier and Le Noir, J{'e}r{^o}me and Acher, Mathieu},
    pages={72-81},
    booktitle = {{Proc. of the Int. Software Product Line Conf. (SPLC)}},
  	X-International-Audience = {yes},
  	X-Language = {EN},
  	x-abbrv = {SPLC},
    url = {http://hal.inria.fr/hal-00837523/PDF/SPLC2013.pdf},
}