Claude code is actually rather good at this. If your initial testcase is not too big, you can use creduce or cvise.