@Inproceedings{EPTCS141.4, author = {Beohar, Harsh and Mousavi, Mohammad Reza}, year = {2014}, title = {Spinal Test Suites for Software Product Lines}, editor = {Schlingloff, Holger and Petrenko, Alexander K.}, booktitle = {{\rm Proceedings Ninth Workshop on} Model-Based Testing, {\rm Grenoble, France, 6 April 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {141}, publisher = {Open Publishing Association}, pages = {44-55}, doi = {10.4204/EPTCS.141.4}, }