Symbolic Execution

Technique for Program Analysis

Categories: