Dependence guided symbolic execution

H Wang, T Liu, X Guan, C Shen… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
Symbolic execution is a powerful technique for systematically exploring the paths of a
program and generating the corresponding test inputs. However, its practical usage is often …
被引用次数：58 相关文章

[引用][C] Dependence Guided Symbolic Execution

H Wang, T Liu, X Guan, C Shen, Q Zheng… - IEEE Transactions on …, 2017 - cir.nii.ac.jp

Dependence Guided Symbolic Execution

H Wang, T Liu, X Guan, C Shen, Q Zheng… - IEEE Transactions on …, 2017 - computer.org
Symbolic execution is a powerful technique for systematically exploring the paths of a
program and generating the corresponding test inputs. However, its practical usage is often …

Dependence Guided Symbolic Execution

H Wang, T Liu, X Guan, C Shen, Q Zheng… - IEEE Transactions on …, 2017 - dl.acm.org
Symbolic execution is a powerful technique for systematically exploring the paths of a
program and generating the corresponding test inputs. However, its practical usage is often …