1. A method for generating test inputs for testing an application, the method comprising: executing, by a processing system, an application using test input values that are generated for testing the application with respect to a property of interest; collecting constraints among symbolic variables of the application during execution; determining whether a branch in the application is relevant to the property; and generating new test input values based on the constraints and branch relevancy.