1. A computerized method comprising: in the input parameters of a parameterized unit test, identifying an object requiring mock behavior; in response to identifying the object, creating a symbolic object comprising a call receiving stub and mock program behavior, the mock program behavior comprising returning a fresh symbol in response to receiving a program request at the call receiving stub; symbolically executing the parameterized unit test comprising identifying path constraints through an implementation under test, at least one of the path constraints comprising the returned fresh symbol; obtaining solutions for the identified path constraints comprising a concrete value assignment for the fresh symbol; and creating a mock object comprising the concrete value.