Yin-li Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | COMPSAC | Achieving High Branch Coverage with Fewer Paths. | Yu Dong, Mengxiang Lin, Kai Yu, Yi Zhou, Yin-li Chen |
| 2009 | APSEC | Program Sifting: Select Property-Related Functions for Language-Based Static Analysis. | Kai Yu, Cong Wang, Yin-li Chen, Mengxiang Lin |
| 2009 | ICSE | Lazy Symbolic Evaluation and Its Path Constraints Solution. | Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu |