Glossary Software Testing / Term
A static analysis technique that derives a symbolic expression for program paths.
Permanent link symbolic execution - Creation date 2020-06-28