testing: fix test case names for CTest