Hong-yuan Li

Publication Activity (10 Years)

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

Top Topics

Software Testing

Quality Assurance

Symbolic Execution

Top Venues

Future Gener. Comput. Syst.

J. Netw. Comput. Appl.

Publications

Ting Chen, Xiaosong Zhang, Hong-yuan Li, Dong Wang, Yue Wu
Propagation modeling of active P2P worms based on ternary matrix. J. Netw. Comput. Appl. 36 (5) (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)