A grey-box software testing technique that combines static analysis with dynamic execution by executing code with symbolic input variables is:
ASymbolic Execution
BFuzz Testing
CMutation Testing
DEquivalence Partitioning
Explanation
Symbolic Execution evaluates software execution paths using symbolic input expressions rather than concrete data values.

No Comments