Generating Counterexamples of Model-based Software Product Lines (bibtex)
@article{ferreirafilho:hal-01026581, 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, HAL_ID = {hal-01026581}, HAL_VERSION = {v1}, }
Powered by bibtexbrowser