A software product lines system test case tool and its initial evaluation | IEEE Conference Publication | IEEE Xplore