@dblp

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

, , , and . IEEE Access, (2017)

Links and resources

Tags