enzet/symbolic-execution

Readme
Issues
Stargazers
Watchers

Add ZESTI and QCE

enzet opened this issue 7 years ago · 0 comments

enzet commented 7 years ago

Mentioned by @SeanHeelan:

Efficient State Merging in Symbolic Execution (QCE);
make test-zesti: A Symbolic Execution Solution for Improving Regression Testing (ZESTI).

Topics

dynamic-symbolic-execution symbolic-execution history timeline concolic-execution concolic program-analysis dynamic-analysis solving

Share to

Contact site admin: Geeks.