Guo-shi Wu

According to our database1, Guo-shi Wu authored at least 2 papers between 2009 and 2011.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Lazy symbolic execution for test data generation.
IET Softw., 2011

2009
Lazy Symbolic Evaluation and Its Path Constraints Solution.
Proceedings of the 4th International Workshop on Automation of Software Test, 2009


  Loading...