Dynamic partitioning strategy to enhance symbolic execution.
| Autor: | Marcellino, Brendan A., Hsiao, Michael S. |
|---|---|
| Zdroj: | 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE); 2016, p774-779, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|