Shi-ze Guo

Publication Activity (10 Years)

Years Active: 2013-2013
Publications (10 Years): 0

Top Topics

Software Testing

Symbolic Execution

Static Analysis

Top Venues

Future Gener. Comput. Syst.

J. Softw. Evol. Process.

Publications

Ting Chen, Xiaosong Zhang, Cong Zhu, Xiao-li Ji, Shi-ze Guo, Yue Wu
Design and implementation of a dynamic symbolic execution tool for windows executables. J. Softw. Evol. Process. 25 (12) (2013)
Ting Chen, Xiaosong Zhang, Shi-ze Guo, Hong-yuan Li, Yue Wu
State of the art: Dynamic symbolic execution for automated test generation. Future Gener. Comput. Syst. 29 (7) (2013)