Generalizing symbolic execution to library classes.
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have focused on programs that manipulate primitive data types, such as integer or boolean. Recent extensions have shown how to ha...
| Published in: | Software engineering notes. 31, 1 (2006). |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Subjects: |