"一种基于源代码分析&#..."

Dandan Guo, Ying Jiang (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics