Speci?cation-Based Testing for Software Product Lines | IEEE Conference Publication | IEEE Xplore