Precise guidance to dynamic test generation
Dynamic symbolic execution has been shown an effective technique for automated test input generation. However, its scalability is limited due to the combinatorial explosion of the path space. We propose to take advantage of data flow analysis to better perform dynamic symbolic execution in the conte...
| Main Authors: | , , |
|---|---|
| Other Authors: | , |
| Format: | Others |
| Published: |
DBLP,
2013-02-26T04:29:24Z.
|
| Subjects: | |
| Online Access: | Get fulltext |