Dependence Guided Symbolic Execution

Haijun Wang, Ting Liu, Xiaohong Guan, Chao Shen, Qinghua Zheng, Zijiang Yang. Dependence Guided Symbolic Execution. IEEE Trans. Software Eng., 43(3):252-271, 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.