Boosting symbolic execution via constraint solving time prediction (experience paper)

S Luo, H Xu, Y Bi, X Wang, Y Zhou - Proceedings of the 30th ACM …, 2021 - dl.acm.org
Symbolic execution is an essential approach for automated test case generation. However,
the approach is generally not scalable to large programs. One critical reason is that the …
被引用次数：12 相关文章

[引用][C] Boosting symbolic execution via constraint solving time prediction (experience paper)

S Luo, H Xu, Y Bi, X Wang, Y Zhou - Proceedings of the 30th ACM SIGSOFT …, 2021