Test Suite Generation for SPL