Glossaria.net

Glossary Software Testing / Term

symbolic execution

A static analysis technique that derives a symbolic expression for program paths.

Permanent link symbolic execution - Creation date 2020-06-28


< symbolic evaluation Glossary / Software Testing syntax testing >