Open AccessInput data generation for reaching specific function in program by iterative dynamic analysis method
Author(s) -
A. I. Gerasimov,
Leonid Kruglov
Publication year - 2016
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2016-28(5)-10
Subject(s) - computer science , program analysis , control flow graph , symbolic execution , heuristics , data flow analysis , graph , static analysis , control flow , call graph , control flow analysis , power graph analysis , theoretical computer science , code generation , algorithm , data flow diagram , programming language , software , inductive programming , programming domain , database , programming paradigm , operating system , computer security , key (lock)