Multiplex symbolic execution: Exploring multiple paths by solving once

Y Zhang, Z Chen, Z Shuai, T Zhang, K Li… - Proceedings of the 35th …, 2020 - dl.acm.org
Path explosion and constraint solving are two challenges to symbolic execution's scalability.
Symbolic execution explores the program's path space with a searching strategy and …
被引用次数：12 相关文章
[PDF] github.io

[PDF][PDF] Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once

Y Zhang, Z Chen, Z Shuai, T Zhang, K Li, J Wang - 2020 - zbchen.github.io
Path explosion and constraint solving are two challenges to symbolic execution's scalability.
Symbolic execution explores the program's path space with a searching strategy and …

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once

Y Zhang, Z Chen, Z Shuai, T Zhang… - 2020 35th IEEE/ACM …, 2020 - ieeexplore.ieee.org
Path explosion and constraint solving are two challenges to symbolic execution's scalability.
Symbolic execution explores the program's path space with a searching strategy and …

Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once

Y Zhang, Z Chen, Z Shuai, T Zhang, K Li… - 2020 35th IEEE/ACM …, 2020 - computer.org
Path explosion and constraint solving are two challenges to symbolic execution's scalability.
Symbolic execution explores the program's path space with a searching strategy and …
[PDF] github.io

[PDF][PDF] Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once

Y Zhang, Z Chen, Z Shuai, T Zhang, K Li, J Wang - 2020 - zbchen.github.io
Path explosion and constraint solving are two challenges to symbolic execution's scalability.
Symbolic execution explores the program's path space with a searching strategy and …