Login / Signup
Sydr: Cutting Edge Dynamic Symbolic Execution.
Alexey V. Vishnyakov
Andrey Fedotov
Daniil O. Kuts
Alexander A. Novikov
Darya Parygina
Eli Kobrin
Vlada Logunova
Pavel Belecky
Shamil F. Kurmangaleev
Published in:
CoRR (2020)
Keyphrases
</>
cutting edge
symbolic execution
book presents
systems analysis and design
databases
data mining
case study
real world
information technology
test generation
comprehensive guide
inter disciplinary