Path Sensitizing

Path Sensitizing

Choosing a set of input values to force the execution of a given path