Enhancing symbolic execution using memoization and incremental techniques
The last few years have seen a resurgence of interest in the use of symbolic execution--program analysis technique developed more than three decades ago to analyze program execution paths. However, symbolic execution remains an expensive technique and scaling it remains a key technical challenge. Th...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | en_US |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/2152/21259 |