Patent ID: 8909992

Claim:
A system comprising: a processor programmed to initiate executable operations comprising: generating a first hypotheses pertaining to a nature of test payloads that satisfy a specified property and that are expected to satisfy a condition tested by the application's program code; synthesizing a plurality of first test payloads to test the first hypothesis; submitting the plurality of first test payloads to the application during respective executions of the application, and during each execution of the application with at least one of the respective first test payloads, associating the respective first test payload with respective portions of the program code exercised during the execution of the application; determining whether each of the first test payloads actually satisfy the condition tested by the application's program code; when at least one of the first test payloads does not actually satisfy the condition tested by the application's program code: generating a second hypotheses that is expected to satisfy the condition tested by the application's program code; synthesizing a plurality of second test payloads to test the second hypothesis; and submitting the plurality of second test payloads to the application during respective executions of the application, and during each execution of the application with at least one of the respective second test payloads, associating the respective second test payload with respective portions of the program code exercised during the execution of the application.