Input data generation for reaching specific function in program by iterative dynamic analysis
Dynamic symbolic execution is a well-known technique used for different tasks of program analysis: input generation for increasing test coverage for program, inputs of death generation, exploit generation and etc. But huge time costs of program analysis during dynamic symbolic execution for any real...
| 出版年: | Труды Института системного программирования РАН |
|---|---|
| 主要な著者: | , |
| フォーマット: | 論文 |
| 言語: | 英語 |
| 出版事項: |
Russian Academy of Sciences, Ivannikov Institute for System Programming
2018-10-01
|
| 主題: | |
| オンライン･アクセス: | https://ispranproceedings.elpub.ru/jour/article/view/176 |