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

Kai Yu, Cong Wang, Yin-li Chen, Mengxiang Lin

Browse the full APSEC paper archive.