A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution

A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution

Heuristic search is an important part of modern dynamic symbolic execution (DSE) tools, as heuristic search can be used to effectively explore the large program input space. Searching task remains one of several research challenges due to the fact that the input space grows exponentially with the in...

Full description

Bibliographic Details
Main Authors: Yan Hu, Weiqiang Kong, Yizhi Ren, Kim-Kwang Raymond Choo
Format: Article
Language:English
Published: IEEE 2017-01-01
Series:IEEE Access
Subjects:
Dynamic symbolic execution
branch history
test case generation
heuristic search
cyber-physical system
Online Access:https://ieeexplore.ieee.org/document/7932069/

Internet

https://ieeexplore.ieee.org/document/7932069/

Similar Items