automate the delta-debugging process by executing a binary