Synthesize solving strategy for symbolic execution

Z Chen, Z Chen, Z Shuai, G Zhang, W Pan… - Proceedings of the 30th …, 2021 - dl.acm.org
Symbolic execution is powered by constraint solving. The advancement of constraint solving
boosts the development and the applications of symbolic execution. Modern SMT solvers …
被引用次数：13 相关文章
[PDF] github.io

[PDF][PDF] Synthesize Solving Strategy for Symbolic Execution

Z Chen, Z Chen, Z Shuai, G Zhang, W Pan, Y Zhang… - 2021 - zbchen.github.io
Symbolic execution is powered by constraint solving. The advancement of constraint solving
boosts the development and the applications of symbolic execution. Modern SMT solvers …
[PDF] github.io

[PDF][PDF] Synthesize Solving Strategy for Symbolic Execution

Z Chen, Z Chen, Z Shuai, G Zhang, W Pan, Y Zhang… - 2021 - zbchen.github.io
Symbolic execution is powered by constraint solving. The advancement of constraint solving
boosts the development and the applications of symbolic execution. Modern SMT solvers …