Fitness-guided path exploration in dynamic symbolic execution.
| Autor: | Tao Xie, Tillmann, N., de Halleux, J., Schulte, W. |
|---|---|
| Zdroj: | 2009 IEEE/IFIP International Conference on Dependable Systems & Networks; 2009, p359-368, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|