getTestCasePaths uses Set