Statistics
Publications
2
Citations
22
H-Index
2
Active since
2021
Affiliations
Institute for System Programming(Current)
Daniil Kuts is an author at Institute for System Programming.
Publications per year
2021–2022
2
2
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
Daniil Kuts · 2021 · 11 citations · Full text
1–2 of 2