Symbolic Execution

Technique for Program Analysis

Categorie: