1. A computerized method comprising: receiving a parameterized unit test; symbolically executing the parameterized unit test of an implementation under test to identify one or more paths of constraints; and generating automated test cases comprising determining assignments to the input parameters of the parameterized unit test, wherein the determined assignments satisfy the one or more paths of constraints.