1. A computer-implemented method of test case reduction in application binary interface (ABI) compatibility testing, the computer-implemented method including: receiving, from a memory at a processor, a failed test case and a plurality of arguments that were the cause of a failure of the failed test case; selecting, using the processor, a first subset of arguments from the plurality of arguments, wherein selecting the first subset of arguments from the plurality of arguments comprises: defining a plurality of states of arguments wherein defining the plurality of states of arguments comprises: defining an omit state wherein an argument is known not to be required to produce a failure; defining an inclusive state wherein an argument is known to be required to produce a failure; defining a test state wherein an argument in this state is to be tested as one possibly not required to produce a test case failure; and defining an assumed inclusion state wherein an argument is assumed to be required to produce a failure, assigning each argument in the plurality of arguments a state, and selecting the first subset of arguments based on the state of each argument; running, using the processor, a copy of the failed test case without the first subset of arguments; omitting, using the processor, the first subset of arguments from the copy of the failed test case based on a determination that the copy of the failed test case continues to fail; retaining, using the processor, the first subset of arguments based on a determination that the copy of the failed test case passes indicating that the first subset of arguments contain arguments that trigger the failure; iteratively selecting, using the processor, a plurality of subsets of the plurality of arguments and omitting when the copy of the failed test case continues to fail until all arguments in the plurality of arguments have been screened; storing, in the memory, the remaining plurality of arguments that has arguments omitted as a minimal set of arguments that cause the failure of the failed test case; and generating the copy of the failed test case based on a random number generator seeded by a seed value that was used to generate the failed test case initially.