Eliminating Human Specification in Static Analysis.

Ying Kong, Yuqing Zhang, Qixu Liu

Browse the full RAID paper archive.