Guo-shi Wu

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu
Lazy symbolic execution for test data generation. IET Softw. 5 (2) (2011)
Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu
Lazy Symbolic Evaluation and Its Path Constraints Solution. AST (2009)