MA Ferdinand Schofer: Improving the test case reducer ‘Perses’ by prioritizing oracle calls with more potential for removing tokens; Betr. T. Heineken, M. Philippsen