Yin-li Chen

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ 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.

[BibT_eX]

[DOI]

IET Softw., 2011

Achieving High Branch Coverage with Fewer Paths.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Program Sifting: Select Property-Related Functions for Language-Based Static Analysis.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Yin-li Chen

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...