Generating Counterexamples of Model-based Software Product Lines

  • By
by Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry
View PDF
Reference:
Generating Counterexamples of Model-based Software Product Lines (Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry), In Software Tools for Technology Transfer (STTT), Springer, 2014.
Bibtex Entry:
@article{ferreirafilho14,
  keywords={SPL},
    TITLE = {{Generating Counterexamples of Model-based Software Product Lines}},
    AUTHOR = {Ferreira Filho, Joao Bosco and Barais, Olivier and Acher, Mathieu and Le Noir, J{'e}r{^o}me and Legay, Axel and Baudry, Benoit},
    URL = {https://hal.inria.fr/hal-01026581},
    JOURNAL = {{Software Tools for Technology Transfer (STTT)}},
    PUBLISHER = {{Springer}},
    YEAR = {2014},
    MONTH = Jul,
    PDF = {https://hal.inria.fr/hal-01026581/file/STTT2014.pdf},
   	X-International-Audience = {yes},
    	X-Language = {EN},
    	x-abbrv = {STTT},
  }