Yin-li Chen

According to our database1, Yin-li Chen authored at least 4 papers between 2009 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • 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

Achieving High Branch Coverage with Fewer Paths.
Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

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

Program Sifting: Select Property-Related Functions for Language-Based Static Analysis.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009


  Loading...